Version 0.9 of IsaMorph
Release Notes: This is release updates all software on the CD, including all base utilities and all Isabelle related software. Particularly, this is the first release featuring the latest Isabelle version (2005), X-Symbol (3.6pre), and also HOL-TestGen (1.1.1).
Other releases
Release Notes: This is release updates all software on the CD, including all base utilities and all Isabelle related software. Particularly, this is the first release featuring the latest Isabelle version (2005), X-Symbol (3.6pre), and also HOL-TestGen (1.1.1).
Release Notes: The desktop was reorganized and new examples were added based on the Isabelle distribution and submissions to the Archive of Formal Proofs.
