]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 30aa33a) | patch
LambdaDelta.ma and some slices of it that typecheck ok!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 2 Sep 2006 12:53:45 +0000 (12:53 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 2 Sep 2006 12:53:45 +0000 (12:53 +0000)
commit5baf68bea00b0ee84fd3ebc97069c1cab88001f2
tree4725c3b12557e9c9463126bbafe752548d94a509tree | snapshot
parent30aa33a2a0d023e2c4b7b10ec3552e7d90c09d46commit | diff
LambdaDelta.ma and some slices of it that typecheck ok!
matita/contribs/LAMBDA-TYPES/Level-1/Base.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-1.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-3.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-4.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-5.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-6.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-8.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Preamble.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/problems.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.