src/HOL/Extraction/Euclid.thy
Tue, 07 Jul 2009 20:16:06 +0200 wenzelm fixed proof (cf. 40501bb2d57c);
Sun, 22 Feb 2009 09:52:28 +0100 nipkow name fix
Sun, 24 Aug 2008 14:42:24 +0200 haftmann default replaces arbitrary
Fri, 25 Jan 2008 23:50:33 +0100 wenzelm modernized primrec;
Tue, 18 Dec 2007 00:17:00 +0100 wenzelm split_primel: salvaged original proof after blow with sledghammer
Tue, 13 Nov 2007 10:58:46 +0100 berghofe New case studies for program extraction.
less more (0) tip