src/HOL/Algebra/poly/LongDiv.thy
Fri, 02 Mar 2007 15:43:15 +0100 haftmann prefix of class interpretation not mandatory any longer
Sun, 19 Nov 2006 23:48:55 +0100 wenzelm HOL-Algebra: converted legacy ML scripts;
Tue, 06 Sep 2005 16:59:48 +0200 wenzelm axclass: name space prefix is now "c_class" instead of just "c";
less more (0) -3 tip