H ? « ‹ ← → › »

Language peer sets for Isabelle-93:
United States↑
United States/1993↑
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Isabelle-93(ID:3665/isa003)

alternate simple view
Country: United States
Designed 1993

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 (1993) Lawrence C Paulson and Tobias Nipkow "A Fixedpoint Approach to Implementing (Co)Inductive Definitions"
  • Lawrence C Paulson and Tobias Nipkow (1993) Lawrence C Paulson and Tobias Nipkow "Introduction to Isabelle"
  • Lawrence C Paulson and Tobias Nipkow (1993) Lawrence C Paulson and Tobias Nipkow "Isabelle's Object-Logics"
  • Lawrence C Paulson and Tobias Nipkow (1993) Lawrence C Paulson and Tobias Nipkow "The Isabelle Reference Manual"
    Resources
    • Extract: from the release notes
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder