]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ccadec2) | patch
changed baseuri
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Aug 2006 11:12:55 +0000 (11:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Aug 2006 11:12:55 +0000 (11:12 +0000)
commitb4973c235f860bde1485567ef941ae40fac3b66b
tree7e41d8674c7a4b07818c14ccca4cb9f1b22c969ftree | snapshot
parentccadec25a4bc5131b59f35209f22796572aed4c2commit | diff
changed baseuri
matita/contribs/LAMBDA-TYPES/Level-1/Base.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma [new file with mode: 0644] blob
matita/contribs/LAMBDA-TYPES/Level-1/problems.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.