new antiquotations @{lhs thm} and @{rhs thm}

--- a/NEWS	Wed Dec 01 06:30:20 2004 +0100
+++ b/NEWS	Wed Dec 01 06:33:52 2004 +0100
@@ -6,6 +6,9 @@
 
 *** General ***
 
+* Document preparation: new antiquotations @{lhs thm} and @{rhs thm}
+  printing the lhs/rhs of definitions, equations, inequations etc. 
+
 * isatool usedir: new option -f that allows specification of the ML
   file to be used by Isabelle; default is ROOT.ML.