2006-01-11 paulson 2006-01-11 tidied, and giving theorems names
2005-09-17 wenzelm 2005-09-17 tuned document;
2005-08-16 paulson 2005-08-16 more simprules now have names
2005-07-12 avigad 2005-07-12 added lemmas to OrderedGroup.thy (reasoning about signs, absolute value, triangle inequalities) added lemmas to Ring_and_Field.thy (reasoning about signs, fractions, etc.) renamed simplification rules for abs (abs_of_pos, etc.) renamed rules for multiplication and signs (mult_pos_pos, etc.) moved lemmas involving fractions from NatSimprocs.thy added setsum_mono3 to FiniteSet.thy added simplification rules for powers to Parity.thy
2005-06-16 paulson 2005-06-16 a few new integer lemmas
2004-10-19 paulson 2004-10-19 converted some induct_tac to induct
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-06-24 paulson 2004-06-24 replaced monomorphic abs definitions by abs_if
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-05-11 obua 2004-05-11 changes made due to new Ring_and_Field theory
2004-03-19 paulson 2004-03-19 stylistic tweaks
2004-03-10 paulson 2004-03-10 new thm
2004-03-08 paulson 2004-03-08 generic theorems about exponentials; general tidying up
2004-03-05 paulson 2004-03-05 some new results
2004-03-04 paulson 2004-03-04 new material from Avigad, and simplified treatment of division by 0