datatype packages: record datatype_config for configuration flags; less verbose signatures
(*<*)
theory Library
imports
Abstract_Rat
AssocList
BigO
Binomial
Bit
Boolean_Algebra
Char_ord
Code_Char_chr
Code_Integer
Coinductive_List
Commutative_Ring
Continuity
ContNotDenum
Convex_Euclidean_Space
Countable
Determinants
Diagonalize
Efficient_Nat
Enum
Eval_Witness
Executable_Set
Fin_Fun
Float
Formal_Power_Series
FrechetDeriv
FuncSet
Fundamental_Theorem_Algebra
Infinite_Set
Inner_Product
Lattice_Syntax
ListVector
Mapping
Multiset
Nat_Infinity
Nested_Environment
Numeral_Type
OptionalSugar
Option_ord
Permutation
Pocklington
Poly_Deriv
Polynomial
Preorder
Primes
Product_Vector
Quicksort
Quotient
Ramsey
Reflection
RBT
State_Monad
Sum_Of_Squares
Topology_Euclidean_Space
Univ_Poly
While_Combinator
Word
Zorn
begin
end
(*>*)