Distribution Area

Mirror sites

• Cambridge (UK)
• Munich (Germany)
• New Jersey (USA)

Isabelle releases

• {ISABELLE} - sneak preview of the forthcoming Isabelle98 release: README, archive ({PACKED_SIZE}K), same unpacked ({UNPACKED_SIZE}K).

  Isabelle documentation (as included in the distribution):

  • Introduction to Isabelle
  • The Isabelle Reference Manual
  • The Isabelle System Manual
  • Isabelle's Object-Logics
  • (Co)Inductive Definitions in ZF
  • Tutorial on Axiomatic Type Classes

• Past releases (from Cambridge): Isabelle-94 revision 8 | Isabelle-94 revision 7 | Isabelle-94 revision 6 | Isabelle-94 | Isabelle-93

{DATE}