theory:start
This is an old revision of the document!
Isabelle/HOL Theories
XCend is based on a full formalization in Isabelle/HOL.
The full theory (as HTML and PDF) can be found here.
theory/start.1372756914.txt.gz · Last modified: by Patrick Michel