Isabelle-93(ID:3665/isa003)

Latest version of Isabelle

Significantly faster than Isabelle-92 and has several other improvements.

Isabelle-93 is not upwardly compatible with its predecessor

Related languages
Isabelle-91 => Isabelle-93   Evolution of
Isabelle-92 => Isabelle-93   Evolution of
References:
  • Lawrence C Paulson and Tobias Nipkow "A Fixedpoint Approach to Implementing (Co)Inductive Definitions" view details
  • Lawrence C Paulson and Tobias Nipkow "Introduction to Isabelle" view details
  • Lawrence C Paulson and Tobias Nipkow "Isabelle's Object-Logics" view details
  • Lawrence C Paulson and Tobias Nipkow "The Isabelle Reference Manual" view details
    Resources
    • from the release notes
    		•