[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / sMain.mrc

check s "GcsAttr" false true
constructions, properties
inversions, inversion properties, inversion lemmas
destructions, forward properties, forward lemmas
eliminations, eliminators