[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.

  At Cambridge, the new version is file Isabelle94-1.tar.gz on host
ftp.cl.cam.ac.uk, directory ml.

  At Munich, the new version is file Isabelle94-1.tar.gz on host
ftp.informatik.tu-muenchen.de, directory local/lehrstuhl/nipkow.