--- a/NEWS Mon Aug 05 21:17:45 2002 +0200
+++ b/NEWS Tue Aug 06 11:19:00 2002 +0200
@@ -15,6 +15,10 @@
context; potential INCOMPATIBILITY, use "(open)" option to fall back
on the old view without predicates;
+* Pure: predefined locales "var" and "struct" are useful for sharing
+parameters (as in CASL, for example); just specify something like
+``var x + var y + struct M'' as import;
+
* improved induct method: assumptions introduced by case "foo" are
split into "foo.hyps" (from the rule) and "foo.prems" (from the goal
statement); "foo" still refers to all facts collectively;