]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
update in ground
[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / recommGc.ml
index 6ffe876a74157ec220af184d84408916de5ca5a8..b3fd0b550641f48edaf6e55306eb9cde8560793b 100644 (file)
@@ -1,5 +1,10 @@
-module G1 = RecommGcbGroundCounters
-module G2 = RecommGcdGroundCounters
-module G3 = RecommGcsAttr
-module G4 = RecommGcsMain
-module G5 = RecommGcsWith
+module G001 = RecommGcbGroundArith
+module G002 = RecommGcbGroundCounters
+module G003 = RecommGcdGroundArith
+module G004 = RecommGcdGroundCounters
+module G005 = RecommGcpGroundArith
+module G006 = RecommGcrGroundArith
+module G007 = RecommGcrGroundCounters
+module G008 = RecommGcsAttr
+module G009 = RecommGcsMain
+module G010 = RecommGcsWith