doc-src/TutorialI/Types/numerics.tex
2009-03-03 nipkow 2009-03-03 removed and renamed redundant lemmas
2009-03-02 nipkow 2009-03-02 name fix
2008-06-08 wenzelm 2008-06-08 minor typos;
2007-07-02 paulson 2007-07-02 revised the discussion of type classes
2007-06-26 paulson 2007-06-26 changes for type class ring_no_zero_divisors
2006-11-08 wenzelm 2006-11-08 removed theory NatArith (now part of Nat);
2005-06-22 nipkow 2005-06-22 *** empty log message ***
2005-06-16 nipkow 2005-06-16 *** empty log message ***
2005-06-10 nipkow 2005-06-10 tuning
2004-02-19 paulson 2004-02-19 new numerics section using type classes
2004-01-12 paulson 2004-01-12 Added lemmas to Ring_and_Field with slightly modified simplification rules Deleted some little-used integer theorems, replacing them by the generic ones in Ring_and_Field Consolidated integer powers
2003-12-15 paulson 2003-12-15 more general lemmas for Ring_and_Field
2003-12-10 paulson 2003-12-10 Moving some theorems from Real/RealArith0.ML
2003-05-09 nipkow 2003-05-09 *** empty log message ***
2003-05-08 paulson 2003-05-08 now refers to Complex and Complex_Main
2003-05-08 paulson 2003-05-08 HOL-Complex
2002-12-13 paulson 2002-12-13 integer induction rules
2001-11-30 paulson 2001-11-30 minor tweaks
2001-11-12 paulson 2001-11-12 new-style numerals without leading #, along with generic 0 and 1
2001-08-09 paulson 2001-08-09 revisions and indexing
2001-08-08 paulson 2001-08-08 Getting it working again with 1' instead of 1
2001-07-17 paulson 2001-07-17 tidying the index
2001-07-13 paulson 2001-07-13 indexing
2001-06-29 paulson 2001-06-29 the records section
2001-03-19 nipkow 2001-03-19 *** empty log message ***
2001-02-21 paulson 2001-02-21 revisions in response to comments by Tobias
2001-02-20 nipkow 2001-02-20 *** empty log message ***
2001-02-16 nipkow 2001-02-16 *** empty log message ***
2001-01-26 nipkow 2001-01-26 *** empty log message ***
2001-01-25 nipkow 2001-01-25 *** empty log message ***
2001-01-12 paulson 2001-01-12 abs and other small changes
2001-01-05 paulson 2001-01-05 revisions especially concerning the reals
2001-01-04 nipkow 2001-01-04 label!
2001-01-04 paulson 2001-01-04 initial material on the Reals
2000-12-13 nipkow 2000-12-13 *** empty log message ***
2000-12-06 nipkow 2000-12-06 *** empty log message ***
2000-12-05 paulson 2000-12-05 nat and int sections but no real