src/HOL/Library/Quicksort.thy
Fri, 27 Mar 2009 10:05:11 +0100 haftmann normalized imports
Thu, 28 Aug 2008 15:33:33 +0200 krauss quicksort: function -> fun
Fri, 25 Jul 2008 12:03:34 +0200 haftmann added class preorder
Mon, 14 Jul 2008 19:20:28 +0200 haftmann tuned
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Tue, 16 Oct 2007 23:12:45 +0200 haftmann global class syntax
Tue, 18 Sep 2007 05:42:46 +0200 nipkow Added function package to PreList
less more (0) tip