]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
milestone update in ground
[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / recommGc.ml
index b3fd0b550641f48edaf6e55306eb9cde8560793b..843c606fccf09933f2233db58a17c5c5808fc943 100644 (file)
@@ -1,10 +1,18 @@
-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
+module G01 = RecommGcbGroundArith
+module G02 = RecommGcbGroundCounters
+module G03 = RecommGcbGroundLib
+module G04 = RecommGcbGroundRelocation
+module G05 = RecommGcdGroundArith
+module G06 = RecommGcdGroundCounters
+module G07 = RecommGcdGroundLib
+module G08 = RecommGcdGroundRelocation
+module G09 = RecommGcpGroundArith
+module G10 = RecommGcpGroundLib
+module G11 = RecommGcpGroundRelocation
+module G12 = RecommGcrGroundArith
+module G13 = RecommGcrGroundCounters
+module G14 = RecommGcrGroundLib
+module G15 = RecommGcrGroundRelocation
+module G16 = RecommGcsAttr
+module G17 = RecommGcsMain
+module G18 = RecommGcsWith