src/HOL/NatArith.ML
2001-01-22 paulson 2001-01-22 deleted several obsolete lemmas from NatArith.ML
2000-10-13 nipkow 2000-10-13 *** empty log message ***