src/HOL/Integ/Bin.ML
1999-01-27 nipkow 1999-01-27 arith_tac for min/max
1999-01-14 nipkow 1999-01-14 More arith refinements.
1999-01-13 nipkow 1999-01-13 Simplified arithmetic.
1999-01-12 nipkow 1999-01-12 Restructured Arithmatic
1999-01-11 nipkow 1999-01-11 More arith simplifications.
1999-01-09 nipkow 1999-01-09 Refined arith tactic.
1999-01-05 nipkow 1999-01-05 Instantiated lin.arith.
1998-12-28 paulson 1998-12-28 fixed comments
1998-10-30 paulson 1998-10-30 Explicit (and improved) simprules for binary arithmetic. New default simprules to eliminate (int 0) and (z + - w)
1998-10-23 paulson 1998-10-23 Now users will never see (int 0)
1998-10-01 paulson 1998-10-01 better handling of literals
1998-09-29 paulson 1998-09-29 many renamings and changes. Simproc for cancelling common terms in relations
1998-09-25 paulson 1998-09-25 Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants
1998-09-24 paulson 1998-09-24 renamed some axioms; some new theorems
1998-09-23 paulson 1998-09-23 much renaming and reorganization
1998-09-21 paulson 1998-09-21 much renaming and tidying
1998-09-18 paulson 1998-09-18 improved (but still flawed) treatment of binary arithmetic
1998-09-15 paulson 1998-09-15 revised treatment of integers
1998-07-31 paulson 1998-07-31 tidied
1998-07-24 wenzelm 1998-07-24 added ex/MonoidGroups (record example); moved Bin and String examples to ex;
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1998-03-07 nipkow 1998-03-07 Removed `addsplits [expand_if]'
1998-02-20 nipkow 1998-02-20 Congruence rules use == in premises now.
1997-11-10 wenzelm 1997-11-10 ASCII-fied;
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-10-17 nipkow 1997-10-17 setloop split_tac -> addsplits
1997-04-18 paulson 1997-04-18 Renamed sign constructors to eliminate clash with the Plus infix of Sum.thy
1996-11-26 paulson 1996-11-26 New material from Norbert Voelker for efficient binary comparisons
1996-07-30 berghofe 1996-07-30 Classical tactics now use default claset.
1996-03-29 paulson 1996-03-29 Binary integers and their numeric syntax