src/HOL/HOLCF/IOA/Sequence.thy
Sun, 25 Aug 2024 21:10:01 +0200 wenzelm more markup for syntax consts;
Wed, 20 Oct 2021 20:25:33 +0200 wenzelm clarified modules;
Mon, 25 Jul 2016 21:50:04 +0200 wenzelm more symbols;
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;
Sat, 16 Jan 2016 23:31:28 +0100 wenzelm tuned;
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