Subject: Announcing Isabelle99-1
To: isabelle-users@cl.cam.ac.uk
Isabelle99-1 is now available.
The most prominent highlights are:
*
See the NEWS file distributed with Isabelle for more details.
You may get Isabelle99-1 from any of the following mirror sites:
Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
Munich (Germany) http://isabelle.in.tum.de/dist/
New Jersey (USA) ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html
Stanford (USA) ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html