--- a/ANNOUNCE Mon May 12 18:50:07 2003 +0200
+++ b/ANNOUNCE Mon May 12 19:54:43 2003 +0200
@@ -46,3 +46,7 @@
Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
Munich (Germany) http://isabelle.in.tum.de/dist/
+
+Gerwin Klein
+Tobias Nipkow
+Larry Paulson