src/HOL/HOLCF/IOA/Compositionality.thy
Mon, 25 Jul 2016 21:50:04 +0200 wenzelm more symbols;
Sat, 16 Jan 2016 23:24:50 +0100 wenzelm misc tuning and modernization;
Thu, 31 Dec 2015 12:43:09 +0100 wenzelm clarified directory structure;
less more (0) tip