| changeset 30429 | 39acdf031548 |
| parent 29825 | 384e47590e7f |
| child 33152 | 241cfaed158f |
--- a/src/HOL/Decision_Procs/Decision_Procs.thy Wed Mar 11 08:45:46 2009 +0100 +++ b/src/HOL/Decision_Procs/Decision_Procs.thy Wed Mar 11 08:45:47 2009 +0100 @@ -1,5 +1,7 @@ +header {* Various decision procedures. typically involving reflection *} + theory Decision_Procs -imports Cooper Ferrack MIR Approximation Dense_Linear_Order +imports Cooper Ferrack MIR Approximation Dense_Linear_Order "ex/Approximation_Ex" "ex/Dense_Linear_Order_Ex" begin end \ No newline at end of file