src/HOL/Integ/Bin.ML
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