ANNOUNCE

--- a/ANNOUNCE	Sun Mar 03 16:59:08 2002 +0100
+++ b/ANNOUNCE	Sun Mar 03 17:23:45 2002 +0100
@@ -52,6 +52,9 @@
   * HOL/IMP: new proofs in Isar format
     (by Gerwin Klein).
 
+  * HOL/MicroJava: exception handling on the bytecode level
+    (by Gerwin Klein).
+
   * ZF/UNITY: typeless version of Chandy and Misra's formalism
     (by Sidi O Ehmety).