Tue, 28 Aug 2012 12:31:53 +0200 | wenzelm | removed outdated IsarRef/Thy/HOLCF_Specific.thy -- make IsarRef depend on HOL only; | file | diff | annotate |
Tue, 31 May 2011 22:15:39 +0200 | wenzelm | turned "Overview" into "Preface" (similar to doc-src/Intro/intro.tex); | file | diff | annotate | base |