Session HOL-Decision_Procs

Theories

• Commutative_Ring
• Code_Target_Int
• Code_Abstract_Nat
• Code_Target_Nat
• Code_Target_Numeral
• Old_Recdef
• Cooper
• Dense_Linear_Order
• DP_Library
• Ferrack
• MIR
• Lattice_Algebras
• Float
• Approximation
• Rat_Pair
• Polynomial_List
• Reflected_Multivariate_Polynomial
• Parametric_Ferrante_Rackoff
• Commutative_Ring_Complete
• Commutative_Ring_Ex
• Approximation_Ex
• Dense_Linear_Order_Ex
• Decision_Procs