]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a69c0f0) | patch
temporary changes, before the complete cancellation of the file.
authorCristian Armentano <??>
Mon, 17 Sep 2007 22:42:30 +0000 (22:42 +0000)
committerCristian Armentano <??>
Mon, 17 Sep 2007 22:42:30 +0000 (22:42 +0000)
commit91705f785e2de8848d1b807e06651e14ba44c618
tree1fbb2acecfccc84c2183e69ebd7726e06af5b95dtree | snapshot
parenta69c0f03bc2a70cf1ee4a87e4016dfc83a13c60acommit | diff
temporary changes, before the complete cancellation of the file.
matita/library/nat/propr_div_mod_lt_le_totient1_aux.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.