src/HOL/Decision_Procs/Decision_Procs.thy
author haftmann
Sat Feb 07 09:25:59 2009 +0100 (2009-02-07)
changeset 29825 384e47590e7f
child 30429 39acdf031548
permissions -rw-r--r--
added Decision_Procs.thy
haftmann@29825
     1
theory Decision_Procs
haftmann@29825
     2
imports Cooper Ferrack MIR Approximation Dense_Linear_Order
haftmann@29825
     3
begin
haftmann@29825
     4
haftmann@29825
     5
end