diff -r 8072027dc4bb -r 57c717b9dd59 NEWS
--- a/NEWS	Mon Oct 22 13:59:41 2007 +0200
+++ b/NEWS	Mon Oct 22 15:24:55 2007 +0200
@@ -1218,6 +1218,7 @@
 formal entities in the source, referring to the context available at
 compile-time.  For example:
 
+ML {* @{sort "{zero,one}"} *}
 ML {* @{typ "'a => 'b"} *}
 ML {* @{term "%x. x"} *}
 ML {* @{prop "x == y"} *}
@@ -1227,6 +1228,7 @@
 ML {* @{thm asm_rl} *}
 ML {* @{thms asm_rl} *}
 ML {* @{type_name c} *}
+ML {* @{type_syntax c} *}
 ML {* @{const_name c} *}
 ML {* @{const_syntax c} *}
 ML {* @{context} *}