* 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;

--- 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;