]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a4212d) | patch
3 problems solved patching the alpha-conversion of coq 7.3.1
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 10 Sep 2006 10:25:22 +0000 (10:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 10 Sep 2006 10:25:22 +0000 (10:25 +0000)
commitb378364437252c019b50eee17b45847d882c1149
tree05463f3da72b6f14e38155040acb99d16a4ad4e6tree | snapshot
parent0a4212d6515904147c7c26ff5b976739c64278decommit | diff
3 problems solved patching the alpha-conversion of coq 7.3.1
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/getl.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/problems-1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/problems-2.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/problems-3.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/problems.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.