src/HOL/Real/simproc.ML
1998-10-01 paulson 1998-10-01 Revised version with Abelian group simprocs