+++ /dev/null
-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