| changeset 5042 | 1f077d63a909 |
| parent 5031 | e2280a1eadb2 |
| child 5049 | bde086cfa597 |
--- a/src/Pure/Thy/context.ML Wed Jun 17 10:48:38 1998 +0200 +++ b/src/Pure/Thy/context.ML Wed Jun 17 10:49:24 1998 +0200 @@ -82,8 +82,8 @@ (* shortcut goal commands *) -fun Goal s = Goals.goal (the_context ()) s; -fun Goalw thms s = Goals.goalw (the_context ()) thms s; +fun Goal s = Goals.atomic_goal (the_context ()) s; +fun Goalw thms s = Goals.atomic_goalw (the_context ()) thms s; end;