]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0baaada) | patch
LAMBDA-TYPES: some improvements
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 27 Apr 2007 19:08:54 +0000 (19:08 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 27 Apr 2007 19:08:54 +0000 (19:08 +0000)
commit40fe102ced39ae6b315c03327ab248dfca473ee4
tree9a368cc0386089b826d37b2b9a018545f1aa02eatree | snapshot
parent0baaadae4614d4948d659c86aa3fa2c6172bc397commit | diff
LAMBDA-TYPES: some improvements
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/definitions.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-1/preamble.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/definitions.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/preamble.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.