]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cdb7b3d) | 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)
commitdb13adb173da540aefbc2aa2d137cebe8d6a2afe
tree73015bbf46942492d66168d7d8cd578581090908tree | snapshot
parentcdb7b3dcac3ff13a18ce67878ab7aec2302a9a77commit | diff
LambdaDelta.ma and some slices of it that typecheck ok!
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-1.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-3.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-4.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-5.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-6.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-8.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Preamble.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.