]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2199206) | patch
moving files
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Sep 2006 10:51:47 +0000 (10:51 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Sep 2006 10:51:47 +0000 (10:51 +0000)
commitadfdd6bb94218accd7ada471084170b846c52994
tree6a8aaec5a9d428715ff9674d17cba6d6983e022ctree | snapshot
parent2199206214c6c4d34e027088651ad969defd3296commit | diff
moving files
matita/contribs/LAMBDA-TYPES/Level-1/Base.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-1.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-3.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-4.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-5.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-6.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta-8.ma [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Level-1/Preamble.ma [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.