Changed and changed back.

--- 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;