src/HOL/Decision_Procs/Decision_Procs.thy
author hoelzl
Wed, 11 Mar 2009 10:58:18 +0100
changeset 30439 57c68b3af2ea
parent 30429 39acdf031548
child 33152 241cfaed158f
permissions -rw-r--r--
Updated paths in Decision_Procs comments and NEWS

header {* Various decision procedures. typically involving reflection *}

theory Decision_Procs
imports Cooper Ferrack MIR Approximation Dense_Linear_Order "ex/Approximation_Ex" "ex/Dense_Linear_Order_Ex"
begin

end