# HG changeset patch
# User wenzelm
# Date 1190660856 -7200
# Node ID a5d89a87e8e3e1fe1bb7d0a436ee0944f7e964a3
# Parent  e7f46ee04809d0be40f4e1d45f6b4d2d3cf20fe0
more ML antiqs;

diff -r e7f46ee04809 -r a5d89a87e8e3 NEWS
--- 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} *}