src/HOL/Decision_Procs/Decision_Procs.thy
author haftmann
Sat Jul 05 11:01:53 2014 +0200 (2014-07-05)
changeset 57514 bdc2c6b40bf2
parent 51544 8c58fbbc1d5a
child 58988 6ebf918128b9
permissions -rw-r--r--
prefer ac_simps collections over separate name bindings for add and mult
     1 theory Decision_Procs
     2 imports
     3   Commutative_Ring
     4   Cooper
     5   Ferrack
     6   MIR
     7   Approximation
     8   Dense_Linear_Order
     9   Parametric_Ferrante_Rackoff
    10   Commutative_Ring_Complete
    11   "ex/Commutative_Ring_Ex"
    12   "ex/Approximation_Ex"
    13   "ex/Dense_Linear_Order_Ex"
    14 begin
    15 
    16 end