]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5ab291) | patch
removed drop.
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 13 Jul 2005 10:15:30 +0000 (10:15 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 13 Jul 2005 10:15:30 +0000 (10:15 +0000)
commit11dc90870a5c1afdb1fb3c62a4098db0666dcc93
treeef178619260225010ffe1f4c5e4954ad23f32dd4tree | snapshot
parentb5ab291cf2ad1431128dd0b1ab629169a3cdeb50commit | diff
removed drop.
helm/matita/library/Z/z.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.