]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73663b5) | 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)
commitfae18970c0d8e5a9bfab4a740da89bb6caf24ef9
treeeabe309b5fa9e5134e7b3d64dc7f58263ccd57a2tree | snapshot
parent73663b52b3e1d8ed2f5936177bcc13b6e6b69997commit | diff
3 problems solved patching the alpha-conversion of coq 7.3.1
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/getl.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems-1.ma [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems-2.ma [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems-3.ma [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.