matita/matita/contribs/lambdadelta/bin/recomm/recommGc.ml

   1 module G01 = RecommGcbGroundArith
   2 module G02 = RecommGcbGroundCounters
   3 module G03 = RecommGcbGroundLib
   4 module G04 = RecommGcdGroundArith
   5 module G05 = RecommGcdGroundCounters
   6 module G06 = RecommGcdGroundLib
   7 module G07 = RecommGcpGroundArith
   8 module G08 = RecommGcpGroundLib
   9 module G09 = RecommGcrGroundArith
  10 module G10 = RecommGcrGroundCounters
  11 module G11 = RecommGcrGroundLib
  12 module G12 = RecommGcsAttr
  13 module G13 = RecommGcsMain
  14 module G14 = RecommGcsWith