changeset 6197 | 4328d436c556 |
parent 6196 | f9fdb4e29790 |
child 6245 | ebce4ebba491 |
--- 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"