Index of Isabelle/HOL/Decision_Procs
Up
to index of Isabelle/HOL
View
theory dependencies
Theories
Commutative_Ring
Code_Integer
Efficient_Nat
Cooper
Dense_Linear_Order
Ferrack
MIR
Lattice_Algebras
Float
Reflection
Approximation
Abstract_Rat
Polynomial_List
Reflected_Multivariate_Polynomial
Parametric_Ferrante_Rackoff
Commutative_Ring_Complete
Commutative_Ring_Ex
Approximation_Ex
Dense_Linear_Order_Ex
Decision_Procs