src/HOL/Decision_Procs/Decision_Procs.thy
author haftmann
Mon Jun 05 15:59:41 2017 +0200 (2017-06-05)
changeset 66010 2f7d39285a1a
parent 58988 6ebf918128b9
permissions -rw-r--r--
executable domain membership checks
     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/Approximation_Quickcheck_Ex"
    14   "ex/Dense_Linear_Order_Ex"
    15 begin
    16 
    17 end