]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ab3123) | 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)
commitc7c8932407f0c9bc75a596f5b51058cbe9d86f40
tree2017e0e4f12e708774077915625c06cc83668edctree | snapshot
parent4ab3123d6a8e5080009d7b471b0cefd05f4817edcommit | diff
removed reference to primes1.ma (now removed)
helm/software/matita/library/library_notation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.