1.1 --- a/src/Provers/classical.ML	Sat Oct 06 16:41:22 2007 +0200
     1.2 +++ b/src/Provers/classical.ML	Sat Oct 06 16:50:04 2007 +0200
     1.3 @@ -1084,7 +1084,7 @@
     1.4  
     1.5  (** outer syntax **)
     1.6  
     1.7 -val print_clasetP =
     1.8 +val _ =
     1.9    OuterSyntax.improper_command "print_claset" "print context of Classical Reasoner"
    1.10      OuterKeyword.diag
    1.11      (Scan.succeed (Toplevel.no_timing o Toplevel.unknown_context o (Toplevel.keep
    1.12 @@ -1092,7 +1092,4 @@
    1.13          (Context.cases print_claset print_local_claset)
    1.14          (print_local_claset o Proof.context_of)))));
    1.15  
    1.16 -val _ = OuterSyntax.add_parsers [print_clasetP];
    1.17 -
    1.18 -
    1.19  end;