doc-src/IsarRef/Thy/ROOT-HOLCF.ML
Thu, 01 Oct 2009 20:04:44 +0200 wenzelm explicitly Unsynchronized;
Sat, 28 Feb 2009 16:39:46 +0100 wenzelm removed Ids;
Wed, 07 May 2008 13:05:46 +0200 wenzelm enabled ThyOutput.source option by default;
Wed, 07 May 2008 12:38:55 +0200 wenzelm added logic-specific sessions;
less more (0) tip