src/HOL/Equiv_Relations.thy
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-07-03 nipkow 2006-07-03 replaced translation by abbreviation
2006-04-08 wenzelm 2006-04-08 refined 'abbreviation';
2006-03-23 nipkow 2006-03-23 Converted translations to abbbreviations. Removed a few odd functions from Map and AssocList. Moved chg_map from Map to Bali/Basis.
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