--- a/src/Pure/Isar/skip_proof.ML Thu Oct 09 20:53:20 2008 +0200
+++ b/src/Pure/Isar/skip_proof.ML Thu Oct 09 20:53:21 2008 +0200
@@ -5,8 +5,6 @@
Skipping proofs -- quick_and_dirty mode.
*)
-val future_scheduler = ref false;
-
signature SKIP_PROOF =
sig
val make_thm: theory -> term -> thm