Bali

--- a/NEWS	Mon May 12 13:57:23 2003 +0200
+++ b/NEWS	Mon May 12 14:16:38 2003 +0200
@@ -174,6 +174,11 @@
 
 * UNITY: added the Meier-Sanders theory of progress sets;
 
+* Bali: Java source language formalization. Type system, operational
+semantics, axiomatic semantics. Supported language features:
+classes, interfaces, objects,virtual methods, static methods,
+static/instance fields, arrays, access modifiers, definite
+assignment, exceptions.
 
 *** ZF ***