]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e89a37e) | patch
A few more theorems.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 7 Dec 2007 11:38:57 +0000 (11:38 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 7 Dec 2007 11:38:57 +0000 (11:38 +0000)
commit947ee89dec9e60561dfac3ce7e1842f35f178cb8
tree6dee64730c7930fe69350ce58d03a79c897bc210tree | snapshot
parente89a37eed5c755b8f42433d852d7e4b6c70e7c8acommit | diff
A few more theorems.
helm/software/matita/library/nat/div_and_mod_diseq.ma diff | blob | history
helm/software/matita/library/nat/log.ma diff | blob | history
helm/software/matita/library/nat/primes.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.