]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be16471) | patch
new organization of the Base and LambdaDelta modules
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Sep 2006 13:18:17 +0000 (13:18 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Sep 2006 13:18:17 +0000 (13:18 +0000)
commit892560610e438da6ada9adc42fcc3dd94a0438b9
tree9782e3b156a5d3c215939fea4ff32d5fe86aacf1tree | snapshot
parentbe16471f978380deb789b3b70c92d998addbb350commit | diff
new organization of the Base and LambdaDelta modules
21 files changed:
matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/tactics.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/Base/theory.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/Base/types/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/Base/types/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/makefile [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.