changeset 2922 | 580647a879cf |
parent 2891 | d8f254ad1ab9 |
child 2997 | 86aaab39ebb1 |
--- a/src/HOL/ex/cla.ML Wed Apr 09 12:31:11 1997 +0200 +++ b/src/HOL/ex/cla.ML Wed Apr 09 12:32:04 1997 +0200 @@ -424,7 +424,7 @@ \ (!x. hates agatha x --> hates butler x) & \ \ (!x. ~hates x agatha | ~hates x butler | ~hates x charles) --> \ \ killed ?who agatha"; -by (Blast_tac 1); +by (Fast_tac 1); result(); writeln"Problem 56";