]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb4b3b6) | patch
new theorems
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 5 Sep 2006 17:44:29 +0000 (17:44 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 5 Sep 2006 17:44:29 +0000 (17:44 +0000)
commit01cd30e9b0e915304b3ffef48a0477c69ce7a959
tree40f0042e275e734e2fb0f02faf3c43d0c94dd8f3tree | snapshot
parentcb4b3b6d71a8d0b5120fe6604cc55105637ef234commit | diff
new theorems
19 files changed:
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Base/theory.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/fwd.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/preamble.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/preamble.ma~ [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.