src/HOL/arith_data.ML
1998-03-03 paulson 1998-03-03 New theorem
1997-12-05 wenzelm 1997-12-05 simplification procedures nat_cancel enabled by default;
1997-12-01 wenzelm 1997-12-01 open;
1997-12-01 berghofe 1997-12-01 Added DiffCancelSums.
1997-11-27 wenzelm 1997-11-27 mk_norm_sum;
1997-11-26 wenzelm 1997-11-26 separate lists of simprocs;
1997-11-26 wenzelm 1997-11-26 Setup various arithmetic proof procedures.