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

PcsAnd b "" true false
ex4
eq
land
lsub
compose, function composition
ctc, contextual transitive closure