author | wenzelm |
Sat, 10 Jun 2017 21:48:02 +0200 | |
changeset 66061 | 880db47fed30 |
parent 58988 | 6ebf918128b9 |
permissions | -rw-r--r-- |
29825 | 1 |
theory Decision_Procs |
33356
9157d0f9f00e
moved Commutative_Ring into session Decision_Procs
haftmann
parents:
33152
diff
changeset
|
2 |
imports |
51544 | 3 |
Commutative_Ring |
4 |
Cooper |
|
5 |
Ferrack |
|
6 |
MIR |
|
7 |
Approximation |
|
8 |
Dense_Linear_Order |
|
35044 | 9 |
Parametric_Ferrante_Rackoff |
33356
9157d0f9f00e
moved Commutative_Ring into session Decision_Procs
haftmann
parents:
33152
diff
changeset
|
10 |
Commutative_Ring_Complete |
51544 | 11 |
"ex/Commutative_Ring_Ex" |
12 |
"ex/Approximation_Ex" |
|
58988 | 13 |
"ex/Approximation_Quickcheck_Ex" |
51544 | 14 |
"ex/Dense_Linear_Order_Ex" |
29825 | 15 |
begin |
16 |
||
36347 | 17 |
end |