]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0df1e97) | patch
new problem:
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Sep 2006 18:48:33 +0000 (18:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Sep 2006 18:48:33 +0000 (18:48 +0000)
commit30aa33a2a0d023e2c4b7b10ec3552e7d90c09d46
tree2e08c2fcb730299a0aeae96e7650e7854fad80c9tree | snapshot
parent0df1e9792b208c0558960e7429b45abe25c6f90fcommit | diff
new problem:
generation of LambdaDelta.ma fails because of complex Cases costructions
matita/contribs/LAMBDA-TYPES/Level-1/problems.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.