# HG changeset patch
# User nipkow
# Date 1052762083 -7200
# Node ID 180f01d9df2c80d949f8a91c22ac3a8fe50c78fd
# Parent  3407f1b807ce1234dec966e50268b25652e67205
*** empty log message ***

diff -r 3407f1b807ce -r 180f01d9df2c ANNOUNCE
--- 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