]> matita.cs.unibo.it Git - helm.git/commit
definitions fixup
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 8 Feb 2007 15:24:44 +0000 (15:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 8 Feb 2007 15:24:44 +0000 (15:24 +0000)
commitfc719504b5584be21ad7716a798bfcb089441cc6
tree6c39daca3c4532c265172b59533464e80dad1b82
parente3c1b393ff24fe15f01896bec715c8b8a0bc8b96
definitions fixup
matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma
matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma
matita/contribs/LAMBDA-TYPES/Unified/SUB/Switch/defs.ma [deleted file]
matita/contribs/LAMBDA-TYPES/Unified/SUB/Term/defs.ma