diff -r 823f7bee42df -r b711c2ad7507 NEWS
--- a/NEWS	Wed Feb 28 16:35:00 2007 +0100
+++ b/NEWS	Wed Feb 28 22:05:41 2007 +0100
@@ -769,6 +769,8 @@
 ML {* @{cprop "x == y"} *}
 ML {* @{thm asm_rl} *}
 ML {* @{thms asm_rl} *}
+ML {* @{const_name c} *}
+ML {* @{const_syntax c} *}
 ML {* @{context} *}
 ML {* @{theory} *}
 ML {* @{theory Pure} *}