src/Provers/classical.ML
changeset 17057 0934ac31985f
parent 16806 916387f7afd2
child 17084 fb0a80aef0be
     1.1 --- a/src/Provers/classical.ML	Tue Aug 16 13:42:23 2005 +0200
     1.2 +++ b/src/Provers/classical.ML	Tue Aug 16 13:42:26 2005 +0200
     1.3 @@ -1062,7 +1062,7 @@
     1.4  
     1.5  val print_clasetP =
     1.6    OuterSyntax.improper_command "print_claset" "print context of Classical Reasoner"
     1.7 -    OuterSyntax.Keyword.diag
     1.8 +    OuterKeyword.diag
     1.9      (Scan.succeed (Toplevel.no_timing o Toplevel.unknown_context o (Toplevel.keep
    1.10        (Toplevel.node_case print_claset (print_local_claset o Proof.context_of)))));
    1.11