src/HOL/arith_data.ML
1998-08-20 paulson 1998-08-20 adjusted for new rewrites
1998-08-13 paulson 1998-08-13 even more tidying of Goal commands
1998-08-12 oheimb 1998-08-12 renamed mk_meta_eq to meta_eq
1998-07-12 wenzelm 1998-07-12 isatool expandshort;
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.