]> matita.cs.unibo.it Git - helm.git/commit
we exported some inversors from coq
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 9 Dec 2006 16:21:32 +0000 (16:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 9 Dec 2006 16:21:32 +0000 (16:21 +0000)
commit3510ce21e9e97c4190d6c77ca47f44fe1745950f
tree3aaaf246d48ab285acbccdc994f3ec26fa2c1158
parent2692ffbe936732329f563784173eb5b421997260
we exported some inversors from coq
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/fwd.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd.ma