]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 206dd7a) | patch
Inversion lemma for Forall.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 18 Apr 2008 18:27:43 +0000 (18:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 18 Apr 2008 18:27:43 +0000 (18:27 +0000)
commitfa50dfd7a837067b5694c46e8b34663a71312056
tree40e4da1deda4d1b1244a9e3f2d9be8924de392b8tree | snapshot
parent206dd7a0508b73fd3c18747f4997dddc0a12fc3acommit | diff
Inversion lemma for Forall.
helm/software/matita/contribs/POPLmark/Fsub/part1a_inversion.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.