Added function package to PreList
Added sorted/sort to List
Moved qsort from ex to Library
(* $Id$ *)
(*<*)
theory Library
imports
Abstract_Rat
AssocList
BigO
Binomial
Boolean_Algebra
Char_ord
Coinductive_List
Commutative_Ring
Continuity
Efficient_Nat
Eval
Eval_Witness
Executable_Set
FuncSet
GCD
Infinite_Set
ML_String
Multiset
NatPair
Nat_Infinity
Nested_Environment
Numeral_Type
OptionalSugar
Parity
Permutation
Pretty_Char_chr
Pretty_Int
Primes
Quicksort
Quotient
Ramsey
State_Monad
Size_Change_Termination
While_Combinator
Word
Zorn
begin
end
(*>*)