# HG changeset patch
# User kleing
# Date 1101879232 -3600
# Node ID 53d2927d9680f80b19e662884e0f31b45a7e153e
# Parent  440687010501ee50fcb827270c0434b1c08fd2b0
new antiquotations @{lhs thm} and @{rhs thm}

diff -r 440687010501 -r 53d2927d9680 NEWS
--- 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.