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

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