somme ex2 and ex3 text

[tt2015.git] / a3 / code / Generics / GenLib.dcl

diff --git a/a3/code/Generics/GenLib.dcl b/a3/code/Generics/GenLib.dcl
deleted file mode 100644 (file)
index be990f8..0000000
--- a/a3/code/Generics/GenLib.dcl
+++ /dev/null
@@ -1,17 +0,0 @@
-definition module GenLib\r
-\r
-import StdGeneric\r
-\r
-import GenEq\r
-import GenLexOrd\r
-import GenMap\r
-import GenMapSt\r
-import GenReduce\r
-import GenZip \r
-import GenPrint\r
-import GenParse\r
-import GenCompress\r
-import GenMonad\r
-import GenHylo\r
-import GenFMap\r
-import GenBimap
\ No newline at end of file