]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfb39a9) | patch
removing unnecessary files
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 8 Sep 2006 09:42:26 +0000 (09:42 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 8 Sep 2006 09:42:26 +0000 (09:42 +0000)
commit04f161501ef38a303b771e5b0077738f9325dd35
treeb5c86f4fef9c0b025ca3018285180e3fb1db136dtree | snapshot
parentbfb39a9bcb10b87ab7d6e09928fb82d340d8fecacommit | diff
removing unnecessary files
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma~ [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems-1.ma~ [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems-2.ma~ [deleted file] blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma~ [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.