doc-src/TutorialI/Types/document/Numbers.tex
2009-03-03 nipkow 2009-03-03 removed and renamed redundant lemmas
2009-03-02 nipkow 2009-03-02 name fix
2009-01-01 wenzelm 2009-01-01 updated generated files;
2008-11-18 wenzelm 2008-11-18 moved table of standard Isabelle symbols to isar-ref manual;
2008-07-20 haftmann 2008-07-20 (adjusted)
2008-06-27 haftmann 2008-06-27 adjusted import
2007-10-16 wenzelm 2007-10-16 updated;
2007-06-26 paulson 2007-06-26 changes for type class ring_no_zero_divisors
2007-06-25 nipkow 2007-06-25 removed theorem
2007-04-12 wenzelm 2007-04-12 updated;
2006-11-09 wenzelm 2006-11-09 updated;
2006-05-16 wenzelm 2006-05-16 updated;
2006-03-18 wenzelm 2006-03-18 updated;
2005-08-29 wenzelm 2005-08-29 updated;
2005-08-29 wenzelm 2005-08-29 updated;
2005-08-28 wenzelm 2005-08-28 updated;
2005-08-16 wenzelm 2005-08-16 updated;
2005-06-28 paulson 2005-06-28 replacing zabs_def by abs_if
2005-06-22 nipkow 2005-06-22 *** empty log message ***
2005-06-09 wenzelm 2005-06-09 updated;
2005-04-19 paulson 2005-04-19 auto update
2005-03-18 paulson 2005-03-18 auto update
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2004-12-02 nipkow 2004-12-02 *** empty log message ***
2004-02-19 paulson 2004-02-19 new numerics section using type classes
2004-02-15 paulson 2004-02-15 Polymorphic treatment of binary arithmetic using axclasses
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-12-02 paulson 2003-12-02 More re-organising of numerical theorems
2002-12-17 paulson 2002-12-17 auto-update
2002-01-24 wenzelm 2002-01-24 updated;
2001-11-29 nipkow 2001-11-29 *** empty log message ***
2001-11-12 paulson 2001-11-12 new-style numerals without leading #, along with generic 0 and 1
2001-10-22 paulson 2001-10-22 Numerals now work for the integers: the binary numerals for 0 and 1 rewrite to their abstract counterparts, while other binary numerals work correctly.
2001-10-21 wenzelm 2001-10-21 updated;
2001-10-08 wenzelm 2001-10-08 *** empty log message ***
2001-08-08 paulson 2001-08-08 Getting it working again with 1' instead of 1
2001-02-28 paulson 2001-02-28 auto-update
2001-02-21 paulson 2001-02-21 revisions in response to comments by Tobias
2001-01-21 wenzelm 2001-01-21 updated;
2001-01-12 paulson 2001-01-12 auto update
2001-01-05 nipkow 2001-01-05 *** empty log message ***
2001-01-03 wenzelm 2001-01-03 updated;
2000-12-18 nipkow 2000-12-18 *** empty log message ***
2000-12-13 wenzelm 2000-12-13 updated;
2000-12-12 paulson 2000-12-12 auto-updated
2000-12-06 wenzelm 2000-12-06 updated;
2000-12-06 paulson 2000-12-06 auto generated