*** empty log message ***
authornipkow
Mon May 12 19:54:43 2003 +0200 (2003-05-12)
changeset 14023180f01d9df2c
parent 14022 3407f1b807ce
child 14024 213dcc39358f
*** empty log message ***
ANNOUNCE
     1.1 --- a/ANNOUNCE	Mon May 12 18:50:07 2003 +0200
     1.2 +++ b/ANNOUNCE	Mon May 12 19:54:43 2003 +0200
     1.3 @@ -46,3 +46,7 @@
     1.4  
     1.5    Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
     1.6    Munich (Germany)  http://isabelle.in.tum.de/dist/
     1.7 +
     1.8 +Gerwin Klein
     1.9 +Tobias Nipkow
    1.10 +Larry Paulson