| changeset 7942 | 4f8cf6552787 |
| parent 7637 | 16347ef1d222 |
| child 8086 | 78e254305ae6 |
--- a/src/Pure/goals.ML Tue Oct 26 22:37:34 1999 +0200 +++ b/src/Pure/goals.ML Wed Oct 27 11:12:10 1999 +0200 @@ -117,7 +117,7 @@ (*reset all refs*) fun reset_goals () = (curr_prems := []; curr_mkresult := init_mkresult; - undo_list := [[(dummy, Seq.empty)]]; proofstack := []); + undo_list := [[(dummy, Seq.empty)]]); (*** Setting up goal-directed proof ***)