isa2html: A simple Isabelle to HTML generator

isa2html is a simple HTML generator for Isabelle/HOL theory files.

Download

• Download version 1.02: isa2html-1.02.tar.gz (distributed under the 2-clause "simplified" BSD license)

Examples

• CSL soundness (Lang, CSLsound, Perm)