src/HOL/Decision_Procs/Decision_Procs.thy
author wenzelm
Fri Mar 07 22:30:58 2014 +0100 (2014-03-07)
changeset 55990 41c6b99c5fb7
parent 51544 8c58fbbc1d5a
child 58988 6ebf918128b9
permissions -rw-r--r--
more antiquotations;
     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