src/HOL/Integ/Integ.ML
1996-11-26 paulson 1996-11-26 New material from Norbert Voelker for efficient binary comparisons
1996-11-21 paulson 1996-11-21 Tidied up some proofs, ...
1996-10-10 paulson 1996-10-10 Tidied some proofs: changed needed for de Morgan laws
1996-09-26 paulson 1996-09-26 Ran expandshort; used stac instead of ssubst
1996-07-30 berghofe 1996-07-30 Classical tactics now use default claset.
1996-06-14 paulson 1996-06-14 Explicitly included add_mult_distrib & add_mult_distrib2
1996-03-27 paulson 1996-03-27 Now use _irrefl instead of _anti_refl
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-10-04 clasohm 1995-10-04 added local simpsets
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