Isabelle-86 - source code from the interactive theorem prover Isabelle upon its original release in 1986
Repository URI
Repository DOI
Change log
Authors
Description
This is the source code from the interactive theorem prover Isabelle upon its original release in 1986.
Version
Software / Usage instructions
Source files in Standard ML
Keywords
Publisher
Rights and licensing
Except where otherwised noted, this item's license is described as Attribution 2.0 UK: England & Wales