]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc490fb) | patch
added missing dependency
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jul 2006 14:09:40 +0000 (14:09 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jul 2006 14:09:40 +0000 (14:09 +0000)
commitf56ca5c98d6193a306451b777996d88a0e2b7372
tree02109d63fc6848a47fcc1afbc3b0751607e9b074tree | snapshot
parentcc490fbf7eef0541c8655bd14a368191bed40e2bcommit | diff
added missing dependency
matita/library/nat/sigma_and_pi.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.