]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0bdf89) | patch
Level-1/LambdaDelta now compiles fine
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 29 Oct 2006 15:11:56 +0000 (15:11 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 29 Oct 2006 15:11:56 +0000 (15:11 +0000)
commit061e94c62f89915a193ebd342cefe4be1f8d2869
tree2bfcb67383a2d02f3f465613e1016bb249e229d6tree | snapshot
parenta0bdf89fd9bf9dc126b156308e86885bdf04c9e5commit | diff
Level-1/LambdaDelta now compiles fine
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.