src/HOL/Real/Real.thy
1998-06-25 paulson 1998-06-25 Installation of target HOL-Real