changeset 46957 | 0c15caf47040 |
parent 46950 | d0181abdbdac |
child 46958 | 0ec8f04e753a |
--- a/src/Pure/Thy/thy_output.ML Thu Mar 15 23:06:22 2012 +0100 +++ b/src/Pure/Thy/thy_output.ML Fri Mar 16 11:26:55 2012 +0100 @@ -626,7 +626,7 @@ (* embedded lemma *) -val _ = Keyword.keyword "by"; +val _ = Keyword.declare "by" NONE; (*overlap with command category*) val _ = Context.>> (Context.map_theory