]> matita.cs.unibo.it Git - helm.git/commit
refactoring
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Feb 2007 19:11:00 +0000 (19:11 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 7 Feb 2007 19:11:00 +0000 (19:11 +0000)
commit387c6f39b2e55c887e8947039e5d7f56bce7f7a8
tree7a8fad2cc8f453ed417104e697f2ea9f73886b71
parent5bdc90c40499df8b7aa022bbb061c685ac88fb26
refactoring
matita/contribs/LAMBDA-TYPES/Base-1/makefile
matita/contribs/LAMBDA-TYPES/Base-1/preamble.ma
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/makefile
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/preamble.ma
matita/contribs/LAMBDA-TYPES/Makefile