]> 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)
commit46cd94c978fc86ea330b61646a3029d31e1634bd
treef1a934b607394ea9a10c2fc30cc962d881814d4e
parent15622109a8e2d72911d84f075ba64df8a948f7d2
definitions fixup
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Switch/defs.ma [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Unified/SUB/Term/defs.ma