src/HOL/Arith_Tools.thy
2007-08-15 paulson 2007-08-15 ATP blacklisting is now in theory data, attribute noatp
2007-07-31 wenzelm 2007-07-31 arith method setup: proper context;
2007-07-22 chaieb 2007-07-22 Tunes Proof
2007-07-20 haftmann 2007-07-20 moved class ord from Orderings.thy to HOL.thy
2007-07-05 wenzelm 2007-07-05 Numeral.mk_cnumber;
2007-06-23 nipkow 2007-06-23 tuned and renamed group_eq_simps and ring_eq_simps
2007-06-21 wenzelm 2007-06-21 moved Presburger setup back to Presburger.thy;
2007-06-21 wenzelm 2007-06-21 renamed NatSimprocs.thy to Arith_Tools.thy; incorporated HOL/Presburger.thy into NatSimprocs.thy;