updated practicum files

[fp1415.git] / files / practicum / StdSet.icl

diff --git a/files/practicum/StdSet.icl b/files/practicum/StdSet.icl
index 6cad7f1..b152f37 100644 (file)
--- a/files/practicum/StdSet.icl
+++ b/files/practicum/StdSet.icl
@@ -1,25 +1,5 @@
-definition module StdSet\r
+implementation module StdSet\r
 \r
-import StdClass\r
+import StdEnv\r
 \r
 ::     Set a\r
-\r
-toSet                  :: [a]             -> Set a | Eq a\r
-fromSet                        :: (Set a)         -> [a]\r
-\r
-isEmptySet             :: (Set a)         -> Bool\r
-isDisjoint             :: (Set a) (Set a) -> Bool  | Eq a\r
-isSubset               :: (Set a) (Set a) -> Bool  | Eq a\r
-isStrictSubset :: (Set a) (Set a) -> Bool  | Eq a\r
-memberOfSet            :: a       (Set a) -> Bool  | Eq a\r
-union           :: (Set a) (Set a) -> Set a | Eq a\r
-intersection   :: (Set a) (Set a) -> Set a | Eq a\r
-nrOfElements   :: (Set a) -> Int\r
-without                        :: (Set a) (Set a) -> Set a | Eq a\r
-\r
-product                        :: (Set a) (Set b) -> Set (a,b)\r
-\r
-instance zero (Set a)\r
-instance ==   (Set a) | Eq a\r
-\r
-powerSet               :: (Set a)         -> Set (Set a)\r