1 Subject: Announcing Isabelle2008
2 To: isabelle-users@cl.cam.ac.uk
4 Isabelle2008 is now available.
6 This release consolidates Isabelle2007, see the NEWS file in the
7 distribution for more details. Some notable improvements are:
9 * New version of HOL 'primrec' with local theory support.
11 * New local theory targets for class instantiation and unrestricted
14 * Support for dynamic lists of named theorems.
16 * Significant speedup of Metis prover, with proper support for
19 * Simple TTY interface with command-line editing.
21 * Improved support for the Cygwin platform (Windows).
23 * Support for Poly/ML 5.2 with improved handling of multithreading and
27 You may get Isabelle2008 from the following mirror sites:
29 Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
30 Munich (Germany) http://isabelle.in.tum.de/
31 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/