src/HOL/Number_Theory/UniqueFactorization.thy
2010-03-08 haftmann 2010-03-08 transfer: avoid camel case
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-02-08 wenzelm 2010-02-08 modernized some syntax translations;
2010-01-22 haftmann 2010-01-22 simplified proofs
2009-11-13 nipkow 2009-11-13 renamed lemmas "anti_sym" -> "antisym"
2009-09-01 haftmann 2009-09-01 some reorganization of number theory