src/HOL/Number_Theory/UniqueFactorization.thy
2010-11-09 paulson 2010-11-09 tidied using metis
2010-09-13 nipkow 2010-09-13 renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI
2010-06-02 haftmann 2010-06-02 msetprod_empty, msetprod_singleton
2010-05-13 nipkow 2010-05-13 Multiset: renamed, added and tuned lemmas; Permutation: replaced local "remove" by List.remove1
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