src/HOL/Old_Number_Theory/Finite2.thy
2011-09-06 huffman 2011-09-06 avoid using legacy theorem names
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-11-28 nipkow 2010-11-28 gave more standard finite set rules simp and intro attribute
2010-08-06 wenzelm 2010-08-06 modernized specifications; tuned headers;
2009-09-01 haftmann 2009-09-01 some reorganization of number theory