update in bin

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / recommGc.ml

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml b/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
new file mode 100644 (file)
index 0000000..6ffe876
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml
@@ -0,0 +1,5 @@
+module G1 = RecommGcbGroundCounters
+module G2 = RecommGcdGroundCounters
+module G3 = RecommGcsAttr
+module G4 = RecommGcsMain
+module G5 = RecommGcsWith