]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2aad3e4) | 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)
commit7dba28380b550e8a1b34d3282afd3329df7055cc
treed059422b1ad780452b8f16111724e575bb30e552tree | snapshot
parent2aad3e4b468d3e4199712437e7ef82afbbc9553dcommit | diff
new organization of the Base and LambdaDelta modules
21 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/tactics.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/theory.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/makefile [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.