# HG changeset patch # User haftmann # Date 1233997104 -3600 # Node ID edac6cd013108385a7f8470187b4d05369a5a1c3 # Parent 9acb915a62fa691664ab8c9a796639593ff9bd4f# Parent 384e47590e7fc6d2f9171068ccc4abc95a79d2c2 merged diff -r 9acb915a62fa -r edac6cd01310 src/HOL/Decision_Procs/Decision_Procs.thy --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/HOL/Decision_Procs/Decision_Procs.thy Sat Feb 07 09:58:24 2009 +0100 @@ -0,0 +1,5 @@ +theory Decision_Procs +imports Cooper Ferrack MIR Approximation Dense_Linear_Order +begin + +end \ No newline at end of file