update in ground

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

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