src/HOL/Equiv_Relations.thy
2005-12-22 nipkow 2005-12-22 more lemmas
2005-12-22 nipkow 2005-12-22 new lemmas
2005-09-22 nipkow 2005-09-22 renamed rules to iprover
2005-02-21 nipkow 2005-02-21 comprehensive cleanup, replacing sumr by setsum
2004-12-09 nipkow 2004-12-09 First step in reorganizing Finite_Set
2004-11-21 nipkow 2004-11-21 added lemmas
2004-11-21 nipkow 2004-11-21 Restructured List and added "rotate"
2004-11-19 paulson 2004-11-19 moved and renamed Integ/Equiv.thy