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=b3fd0b550641f48edaf6e55306eb9cde8560793b;hp=12a3ec66491ba8a703ac5186e57417602e85c4a3;hb=4d232392091ee233afc26ecf3120dd5f5c6a33c8;hpb=da0775e27b362e91ea1453a800bc403781cc2ca3

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
index 12a3ec664..b3fd0b550 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
@@ -1,6 +1,10 @@
-module G1 = RecommGcbGroundCounters
-module G2 = RecommGcdGroundCounters
-module G3 = RecommGcrGroundCounters
-module G4 = RecommGcsAttr
-module G5 = RecommGcsMain
-module G6 = 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