src/Pure/Isar/skip_proof.ML
changeset 28552 f8719bcc5006
parent 28446 a01de3b3fa2e
child 29088 95a239a5e055
     1.1 --- a/src/Pure/Isar/skip_proof.ML	Thu Oct 09 20:53:20 2008 +0200
     1.2 +++ b/src/Pure/Isar/skip_proof.ML	Thu Oct 09 20:53:21 2008 +0200
     1.3 @@ -5,8 +5,6 @@
     1.4  Skipping proofs -- quick_and_dirty mode.
     1.5  *)
     1.6  
     1.7 -val future_scheduler = ref false;
     1.8 -
     1.9  signature SKIP_PROOF =
    1.10  sig
    1.11    val make_thm: theory -> term -> thm