]> 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)
commit4216d3e6b09d1be8784ee9394f6c7f5aed4300a7
tree0d07c1303be8c97e1d7a0c0b4197992bf250fb48
parent76c2d13b7641cdffae2759b511cbecbd91afa14e
we exported some inversors from coq
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/fwd.ma
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd.ma