--- a/src/HOL/Integ/cooper_proof.ML Thu Jun 10 20:17:07 2004 +0200
+++ b/src/HOL/Integ/cooper_proof.ML Sat Jun 12 13:50:55 2004 +0200
@@ -7,6 +7,7 @@
generation for Cooper Algorithm
*)
+
signature COOPER_PROOF =
sig
val qe_Not : thm
@@ -957,3 +958,4 @@
end;
end;
+