src/HOL/Decision_Procs/Decision_Procs.thy
author wenzelm
Sat, 10 Jun 2017 21:48:02 +0200
changeset 66061 880db47fed30
parent 58988 6ebf918128b9
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
29825
384e47590e7f added Decision_Procs.thy
haftmann
parents:
diff changeset
     1
theory Decision_Procs
33356
9157d0f9f00e moved Commutative_Ring into session Decision_Procs
haftmann
parents: 33152
diff changeset
     2
imports
51544
8c58fbbc1d5a tuned session specification;
wenzelm
parents: 36347
diff changeset
     3
  Commutative_Ring
8c58fbbc1d5a tuned session specification;
wenzelm
parents: 36347
diff changeset
     4
  Cooper
8c58fbbc1d5a tuned session specification;
wenzelm
parents: 36347
diff changeset
     5
  Ferrack
8c58fbbc1d5a tuned session specification;
wenzelm
parents: 36347
diff changeset
     6
  MIR
8c58fbbc1d5a tuned session specification;
wenzelm
parents: 36347
diff changeset
     7
  Approximation
8c58fbbc1d5a tuned session specification;
wenzelm
parents: 36347
diff changeset
     8
  Dense_Linear_Order
35044
7c761a4bd91f tuned header
haftmann
parents: 33356
diff changeset
     9
  Parametric_Ferrante_Rackoff
33356
9157d0f9f00e moved Commutative_Ring into session Decision_Procs
haftmann
parents: 33152
diff changeset
    10
  Commutative_Ring_Complete
51544
8c58fbbc1d5a tuned session specification;
wenzelm
parents: 36347
diff changeset
    11
  "ex/Commutative_Ring_Ex"
8c58fbbc1d5a tuned session specification;
wenzelm
parents: 36347
diff changeset
    12
  "ex/Approximation_Ex"
58988
6ebf918128b9 added quickcheck[approximation]
immler
parents: 51544
diff changeset
    13
  "ex/Approximation_Quickcheck_Ex"
51544
8c58fbbc1d5a tuned session specification;
wenzelm
parents: 36347
diff changeset
    14
  "ex/Dense_Linear_Order_Ex"
29825
384e47590e7f added Decision_Procs.thy
haftmann
parents:
diff changeset
    15
begin
384e47590e7f added Decision_Procs.thy
haftmann
parents:
diff changeset
    16
36347
0ca616bc6c6f line break
haftmann
parents: 35044
diff changeset
    17
end