A verified theory for rational numbers representation and simple calculations;
verified with respect to the real numbers;
(* $Id$ *)
(*<*)
theory Library
imports
AssocList
BigO
Binomial
Char_ord
Coinductive_List
Commutative_Ring
Continuity
EfficientNat
Eval
ExecutableRat
Executable_Real
ExecutableSet
FuncSet
GCD
Infinite_Set
MLString
Multiset
NatPair
Nat_Infinity
Nested_Environment
OptionalSugar
Parity
Permutation
Pretty_Char_chr
Pretty_Int
Primes
Quotient
Ramsey
State_Monad
Size_Change_Termination
While_Combinator
Word
Zorn
begin
end
(*>*)