ANNOUNCE
changeset 14023 180f01d9df2c
parent 14022 3407f1b807ce
child 14614 196ff8d245bf
     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