]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9ee4e9) | 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)
commitd6d612f97dba1555eed622e33e4106dcf5a9ffbd
tree6d9c1546643a8fd693bf82e4a7f0bb3c90bb508ctree | snapshot
parentf9ee4e9041c5ef7dff72da0f6fbe8f2d8204c99ecommit | diff
removing unnecessary files
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma~ [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/problems-1.ma~ [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/problems-2.ma~ [deleted file] blob | history
matita/contribs/LAMBDA-TYPES/Level-1/problems.ma~ [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.