User Tools

Site Tools


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.1336744802.txt.gz · Last modified: 2012/05/11 16:00 by Patrick Michel