Re: [isabelle] Announcing Isabelle2007



On Fri, 23 Nov 2007, Makarius wrote:

> You may get Isabelle2007 from the following mirror sites:
> 
>   Cambridge (UK)       http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
>   Munich (Germany)     http://isabelle.in.tum.de/

Our third mirror is now also up-to-date:
 
  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.