]> matita.cs.unibo.it Git - helm.git/commit
reorganization
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 20 Jul 2006 11:22:15 +0000 (11:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 20 Jul 2006 11:22:15 +0000 (11:22 +0000)
commitcee763a744e6f75bb5c174f809a4fe25f9071a0c
tree6810942d19394823ecae54b38b046918fb48a6c5
parent327d441ca9c875f251c5b0aabe74f997a12075e1
reorganization
helm/software/matita/library/nat/div_and_mod.ma
helm/software/matita/library/nat/primes1.ma [deleted file]
helm/software/matita/library/nat/sigma_and_pi.ma