more ML antiqs;

--- a/NEWS	Mon Sep 24 19:34:55 2007 +0200
+++ b/NEWS	Mon Sep 24 21:07:36 2007 +0200
@@ -1178,11 +1178,14 @@
 ML {* @{cprop "x == y"} *}
 ML {* @{thm asm_rl} *}
 ML {* @{thms asm_rl} *}
+ML {* @{type_name c} *}
 ML {* @{const_name c} *}
 ML {* @{const_syntax c} *}
 ML {* @{context} *}
 ML {* @{theory} *}
 ML {* @{theory Pure} *}
+ML {* @{theory_ref} *}
+ML {* @{theory_ref Pure} *}
 ML {* @{simpset} *}
 ML {* @{claset} *}
 ML {* @{clasimpset} *}