--- a/src/Pure/Thy/thy_output.ML Thu Mar 15 20:07:00 2012 +0100
+++ b/src/Pure/Thy/thy_output.ML Thu Mar 15 22:08:53 2012 +0100
@@ -626,6 +626,8 @@
(* embedded lemma *)
+val _ = Keyword.keyword "by";
+
val _ =
Context.>> (Context.map_theory
(antiquotation (Binding.name "lemma")