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 * HOL: significant speedup of Metis prover; proper support for
12 * HOL: new version of 'primrec' command supporting type-inference and
15 * HOL: improved support for termination proofs of recursive function
18 * New local theory targets for class instantiation and overloading.
20 * Support for named dynamic lists of theorems.
22 * Simple TTY interface with command-line editing.
24 * Improved support for the Cygwin platform (Windows).
26 * Support for Poly/ML 5.2 with improved handling of multithreading and
29 * Reorganized and updated version of Isabelle/Isar Reference Manual.
32 You may get Isabelle2008 from the following mirror sites:
34 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle/
35 Munich (Germany) http://isabelle.in.tum.de/
36 Sydney (Australia) http://mirror.cse.unsw.edu.au/pub/isabelle/