ANNOUNCE
changeset 13045 1db0bdda1d32
parent 13042 d8a345d9e067
child 14021 24bf519625ab
     1.1 --- a/ANNOUNCE	Thu Mar 07 23:21:19 2002 +0100
     1.2 +++ b/ANNOUNCE	Fri Mar 08 11:41:10 2002 +0100
     1.3 @@ -71,4 +71,3 @@
     1.4    Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
     1.5    Munich (Germany)  http://isabelle.in.tum.de/dist/
     1.6    New Jersey (USA)  ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
     1.7 -  Stanford (USA)    ftp://rodin.stanford.edu/pub/smlnj/isabelle/index.html