ANNOUNCE
changeset 14023 180f01d9df2c
parent 14022 3407f1b807ce
child 14614 196ff8d245bf
equal deleted inserted replaced
14022:3407f1b807ce 14023:180f01d9df2c
    44 
    44 
    45 You may get Isabelle2003 from the following mirror sites:
    45 You may get Isabelle2003 from the following mirror sites:
    46 
    46 
    47   Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
    47   Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
    48   Munich (Germany)  http://isabelle.in.tum.de/dist/
    48   Munich (Germany)  http://isabelle.in.tum.de/dist/
       
    49 
       
    50 Gerwin Klein
       
    51 Tobias Nipkow
       
    52 Larry Paulson