src/HOL/Algebra/poly/LongDiv.thy
Thu, 12 May 2011 21:14:03 +0200 wenzelm modernized simproc_setup;
Mon, 06 Sep 2010 19:13:10 +0200 wenzelm more antiquotations;
Sun, 21 Mar 2010 17:12:31 +0100 wenzelm standard headers;
Thu, 23 Apr 2009 12:17:51 +0200 haftmann adaptions due to rearrangment of power operation
less more (0) -10 -4 tip