]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f3a929) | patch
Some simplifications.
authorCristian Armentano <??>
Thu, 6 Sep 2007 15:17:56 +0000 (15:17 +0000)
committerCristian Armentano <??>
Thu, 6 Sep 2007 15:17:56 +0000 (15:17 +0000)
commit0972948bb0b578df99c1bf6ae7c805418b11206a
treec48458f1243f807e26bf0a0a865d6ffbcb8af29dtree | snapshot
parent7f3a929b23e83e2ffd5abcdeb7183c70c591a1accommit | diff
Some simplifications.
helm/software/matita/library/nat/propr_div_mod_lt_le_totient1_aux.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.