]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f27b26f) | patch
removed reference to primes1.ma (now removed)
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jul 2006 14:09:09 +0000 (14:09 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jul 2006 14:09:09 +0000 (14:09 +0000)
commitc2157359bd4c8f08b73d394495aa0fcacf043380
tree4112372f5ec5092b1ffad617d98120a78a9a50b8tree | snapshot
parentf27b26f3f3d2300b11aa4d68dbe823e15ffbdf1ccommit | diff
removed reference to primes1.ma (now removed)
matita/library/library_notation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.