src/HOL/Hyperreal/NthRoot.thy
2003-11-27 paulson 2003-11-27 Removal of Hyperreal/ExtraThms2.ML, sending the material to the correct files. New theorems for Ring_and_Field. Fixing affected proofs.
2001-11-15 paulson 2001-11-15 new theories from Jacques Fleuriot