src/HOL/Complex/ex/Sqrt_Script.thy
Tue, 26 Aug 2008 12:07:06 +0200 nipkow Defined rationals (Rats) globally in Rational.
Fri, 18 Jul 2008 18:25:53 +0200 haftmann moved op dvd to theory Ring_and_Field; generalized a couple of lemmas
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
less more (0) -3 tip