X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FrecommGc.ml;h=843c606fccf09933f2233db58a17c5c5808fc943;hb=55c768d7e45babb300b5010463ba3196a68f1bbe;hp=58f1f10019093d2576f97c32be28d2d0376043f5;hpb=15212e44902f25536f6e2de4bec4cedcd9a9804d;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
index 58f1f1001..843c606fc 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
@@ -1,14 +1,18 @@
 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
+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