src/HOL/Old_Number_Theory/Finite2.thy
2014-05-30 hoelzl 2014-05-30 introduce more powerful reindexing rules for big operators
2013-03-23 haftmann 2013-03-23 fundamental revision of big operators on sets
2012-10-19 webertj 2012-10-19 Renamed {left,right}_distrib to distrib_{right,left}.
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