Distribution Area

Mirror sites

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

Isabelle releases

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

  Isabelle documentation (as included in the distribution):

  • Tutorial on Isabelle/HOL
  • 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): Isabelle98 | Isabelle94-8 | Isabelle94-7 | Isabelle94-6 | Isabelle94 | Isabelle93