bugfix subset?
Before we had: (1) -> SI ==> Set Integer (2) -> SSI ==> Set SI (3) -> si:SI := set [2] (3) {2} (4) -> subset?(si,si) (4) true (5) -> ssi: SSI := set [si] (5) {{2}} (6) -> subset?(ssi,ssi) (6) false
With the patch also (6) gives true.
Authored by: hemmecke 2014-06-08
Parent: [r1780]
Child: [r1782]