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