src/HOL/Real/RComplete.ML
1998-10-01 paulson 1998-10-01 Revised version with Abelian group simprocs
1998-09-21 oheimb 1998-09-21 added wrapper for bspec
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