theory:start
This is an old revision of the document!
Isabelle/HOL Theories
This page will soon host
- Isabelle/HOL source files for the complete theory behind XCend and
- PDF files generated from the theory files.
theory/start.1336744871.txt.gz · Last modified: by Patrick Michel