* tuned AST representation of nested pairs, avoiding bogus output in
case of overlap with user translations (e.g. judgements over tuples);
* AST translation rules no longer require constant head on LHS;

--- a/NEWS	Fri Jul 14 20:47:11 2000 +0200
+++ b/NEWS	Sun Jul 16 20:46:44 2000 +0200
@@ -229,9 +229,14 @@
 * fewer consts declared as global (e.g. have to refer to "Lfp.lfp"
 instead of "lfp" internally; affects ML packages only);
 
+* tuned AST representation of nested pairs, avoiding bogus output in
+case of overlap with user translations (e.g. judgements over tuples);
+
 
 *** General ***
 
+* AST translation rules no longer require constant head on LHS;
+
 * improved name spaces: ambiguous output is qualified; support for
 hiding of names;