]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c9bf86) | patch
refactoring
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Feb 2007 18:29:01 +0000 (18:29 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Feb 2007 18:29:01 +0000 (18:29 +0000)
commitd748e568acf1aaf82b63b6f703d131fcc4a3c994
treece4feaa4e62004fca34a911bd6f7e8c3e30f27d7tree | snapshot
parent5c9bf8626ec0cb7f5ba18df3883aa1dbbead9555commit | diff
refactoring
12 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Base/blt/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Base/blt/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Base/ext/arith.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Base/ext/tactics.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Base/makefile [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Base/plist/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Base/plist/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Base/preamble.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Base/spare.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Base/theory.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Base/types/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Base/types/props.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.