# 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