src/HOL/HOLCF/IOA/CompoScheds.thy
Mon, 23 May 2016 21:30:30 +0200 wenzelm embedded content may be delimited via cartouches;
Sun, 17 Jan 2016 00:14:45 +0100 wenzelm more method definitions;
Mon, 11 Jan 2016 00:04:23 +0100 wenzelm misc tuning and modernization;
Thu, 31 Dec 2015 12:43:09 +0100 wenzelm clarified directory structure;
less more (0) tip