oops;
authorwenzelm
Thu Feb 12 16:43:05 1998 +0100 (1998-02-12)
changeset 46259c6082518cfb
parent 4624 795b5b624c02
child 4626 51dd12f34c78
oops;
src/Provers/classical.ML
     1.1 --- a/src/Provers/classical.ML	Thu Feb 12 16:38:08 1998 +0100
     1.2 +++ b/src/Provers/classical.ML	Thu Feb 12 16:43:05 1998 +0100
     1.3 @@ -255,8 +255,8 @@
     1.4    let val pretty_thms = map Display.pretty_thm in
     1.5      Pretty.writeln (Pretty.big_list "safe introduction rules:" (pretty_thms safeIs));
     1.6      Pretty.writeln (Pretty.big_list "unsafe introduction rules:" (pretty_thms hazIs));
     1.7 -    Pretty.writeln (Pretty.big_list "safe elimination rules:" (pretty_thms safeEs))
     1.8 -    Pretty.writeln (Pretty.big_list "unsafe elimination rules:" (pretty_thms hazEs));
     1.9 +    Pretty.writeln (Pretty.big_list "safe elimination rules:" (pretty_thms safeEs));
    1.10 +    Pretty.writeln (Pretty.big_list "unsafe elimination rules:" (pretty_thms hazEs))
    1.11    end;
    1.12  
    1.13  fun rep_claset (CS args) = args;