src/HOL/Integ/Equiv.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-08-04 nipkow 2004-08-04 added a few thms
2004-04-23 paulson 2004-04-23 congruent2 now allows different equiv relations
2004-04-02 paulson 2004-04-02 variable renamings and other cosmetic changes
2004-03-30 paulson 2004-03-30 tidied
2004-01-27 paulson 2004-01-27 replacing HOL/Real/PRat, PNat by the rational number development of Markus Wenzel
2003-11-18 paulson 2003-11-18 conversion of ML to Isar scripts
2002-08-08 wenzelm 2002-08-08 converted;
2001-12-06 wenzelm 2001-12-06 renamed Finite to Finite_Set;
2001-01-09 nipkow 2001-01-09 *** empty log message ***
2001-01-05 nipkow 2001-01-05 ^^ -> ``` Univalent -> single_valued
2000-07-19 paulson 2000-07-19 changed / to // for quotienting
1999-06-10 paulson 1999-06-10 moved predicates refl, sym down to Relation.thy
1997-05-30 paulson 1997-05-30 Addition of Finite as parent allows cardinality theorems
1996-11-21 paulson 1996-11-21 Tidied up some proofs, ...
1996-04-04 paulson 1996-04-04 Using new "Times" infix
1996-02-05 clasohm 1996-02-05 expanded tabs; incorporated Konrad's changes
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1995-03-24 clasohm 1995-03-24 changed syntax of tuples from <..., ...> to (..., ...)
1995-03-03 clasohm 1995-03-03 new version of HOL/Integ with curried function application