| changeset 27575 | e540ad3fb50a |
| parent 27563 | 38f26d4079be |
| child 27614 | f38c25d106a7 |
--- a/src/Pure/Isar/isar_syn.ML Mon Jul 14 17:51:41 2008 +0200 +++ b/src/Pure/Isar/isar_syn.ML Mon Jul 14 17:51:42 2008 +0200 @@ -31,7 +31,7 @@ val _ = OuterSyntax.command "theory" "begin theory" (K.tag_theory K.thy_begin) - (ThyHeader.args >> (Toplevel.print oo IsarCmd.theory)); + (ThyHeader.args >> (Toplevel.print oo IsarCmd.init_theory)); val _ = OuterSyntax.command "end" "end (local) theory" (K.tag_theory K.thy_end)