|
9928
|
1 |
|
|
|
2 |
Subject: Announcing Isabelle99-1
|
|
|
3 |
To: isabelle-users@cl.cam.ac.uk
|
|
|
4 |
|
|
|
5 |
Isabelle99-1 is now available.
|
|
|
6 |
|
|
|
7 |
|
|
|
8 |
The most prominent highlights are:
|
|
|
9 |
|
|
|
10 |
*
|
|
|
11 |
|
|
|
12 |
See the NEWS file distributed with Isabelle for more details.
|
|
|
13 |
|
|
|
14 |
|
|
|
15 |
You may get Isabelle99-1 from any of the following mirror sites:
|
|
|
16 |
|
|
|
17 |
Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
|
|
|
18 |
Munich (Germany) http://isabelle.in.tum.de/dist/
|
|
|
19 |
New Jersey (USA) ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html
|
|
|
20 |
Stanford (USA) ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html
|