# HG changeset patch
# User haftmann
# Date 1272866391 -7200
# Node ID 6ed6112f0a954a79db70f72c5d4bb4a03ca82fa2
# Parent  e5f7235f39c5b4b38b8fadf552360eb21a78c728# Parent  16736dde54c0edfd5ec1ac8079d6e1190bc02094
merged

diff -r e5f7235f39c5 -r 6ed6112f0a95 src/HOL/Decision_Procs/Cooper.thy
--- a/src/HOL/Decision_Procs/Cooper.thy	Sat May 01 21:29:03 2010 +0200
+++ b/src/HOL/Decision_Procs/Cooper.thy	Mon May 03 07:59:51 2010 +0200
@@ -1909,9 +1909,11 @@
 
 ML {* @{code cooper_test} () *}
 
+(*
 code_reflect Generated_Cooper
   functions pa
   file "~~/src/HOL/Tools/Qelim/generated_cooper.ML"
+*)
 
 oracle linzqe_oracle = {*
 let