]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 062641b) | patch
exportation completed!!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 15 Sep 2006 12:43:52 +0000 (12:43 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 15 Sep 2006 12:43:52 +0000 (12:43 +0000)
commit884ac867259b5303a8f6c64faaf1591bd96a264e
treee8ad01af4b1aad9cfecd66d8cd3950f56c9aaa93tree | snapshot
parent062641bab5b3c1dd5bbc908098a80e4e12e5105ecommit | diff
exportation completed!!
29 files changed:
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csub3/clear.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csub3/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csub3/drop.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csub3/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csub3/getl.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csub3/pc3.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csub3/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csub3/ty3.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/fwd.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fsubst0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/left.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/pc1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/subst1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/wcpr0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity_props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/dec.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fsubst0.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3_props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/tau0.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.