oops, update_thy;

--- a/src/Pure/Isar/isar_syn.ML	Wed Feb 03 16:49:36 1999 +0100
+++ b/src/Pure/Isar/isar_syn.ML	Wed Feb 03 16:50:06 1999 +0100
@@ -469,7 +469,7 @@
 
 val update_thyP =
   OuterSyntax.parser true "update_thy" "update theory file"
-    (name >> IsarCmd.use_thy);
+    (name >> IsarCmd.update_thy);
 
 val prP =
   OuterSyntax.parser true "pr" "print current toplevel state"