[T1] ___________________________ AMAST Links 01 01

Isabelle-94 update

UPDATE of [SIAN05p6-1]

A slightly modified version of Isabelle-94 is now available on the Cambridge ftp site (and shortly at TUM). This version has been prepared in response to problems reported with the previous version. The main differences are as follows:

  1. A new grammar reduces the amount of space taken up by theories.
  2. If parsing returns multiple parse trees, type checking is invoked with the aim of discarding all but one.
  3. A few minor errors have been fixed.
Most users should not have to pick up this version.

The new version is available by anonymous ftp at Cambridge , where a more general index to Isabelle software and documentation is available, and at Munich .