src/HOL/Library/Library.thy
changeset 24615 17dbd993293d
parent 24530 1bac25879117
child 24626 85eceef2edc7
     1.1 --- a/src/HOL/Library/Library.thy	Mon Sep 17 16:36:45 2007 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Sep 18 05:42:46 2007 +0200
     1.3 @@ -30,6 +30,7 @@
     1.4    Pretty_Char_chr
     1.5    Pretty_Int
     1.6    Primes
     1.7 +  Quicksort
     1.8    Quotient
     1.9    Ramsey
    1.10    State_Monad