X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FrecommGc.ml;h=58f1f10019093d2576f97c32be28d2d0376043f5;hp=b3fd0b550641f48edaf6e55306eb9cde8560793b;hb=ae626612bff9c3746dd7647bbada791c737e348c;hpb=4d232392091ee233afc26ecf3120dd5f5c6a33c8

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
index b3fd0b550..58f1f1001 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
@@ -1,10 +1,14 @@
-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 = RecommGcdGroundArith
+module G05 = RecommGcdGroundCounters
+module G06 = RecommGcdGroundLib
+module G07 = RecommGcpGroundArith
+module G08 = RecommGcpGroundLib
+module G09 = RecommGcrGroundArith
+module G10 = RecommGcrGroundCounters
+module G11 = RecommGcrGroundLib
+module G12 = RecommGcsAttr
+module G13 = RecommGcsMain
+module G14 = RecommGcsWith