src/HOL/Real/PNat.ML
1998-10-01 paulson 1998-10-01 Revised version with Abelian group simprocs
1998-09-10 paulson 1998-09-10 well-formed asym rules; misc. tidying
1998-08-06 nipkow 1998-08-06 Removed duplicate thms (see comment to Arith.ML)
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-07-15 paulson 1998-07-15 More tidying and removal of "\!\!... from Goal commands
1998-07-15 paulson 1998-07-15 Removal of leading "\!\!..." from most Goal commands
1998-06-25 paulson 1998-06-25 Installation of target HOL-Real