src/HOL/Unix/Nested_Environment.thy
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Tue, 20 Jun 2017 13:07:47 +0200 haftmann avoid ancient [code, code del] antipattern
Mon, 21 Dec 2015 21:48:36 +0100 wenzelm misc tuning and modernization;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Tue, 07 Oct 2014 20:43:18 +0200 wenzelm more cartouches;
Thu, 11 Sep 2014 19:32:36 +0200 blanchet updated news
Tue, 09 Sep 2014 20:51:36 +0200 blanchet ported Unix to new datatypes
Tue, 09 Sep 2014 20:51:36 +0200 blanchet use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
Wed, 26 Feb 2014 11:57:55 +0100 haftmann obsolete workaround
Mon, 01 Oct 2012 20:38:57 +0200 wenzelm tuned;
Sun, 04 Sep 2011 17:50:19 +0200 wenzelm tuned document;
Tue, 30 Aug 2011 17:36:12 +0200 wenzelm tuned document;
Thu, 18 Aug 2011 15:51:34 +0200 wenzelm tuned document;
Wed, 17 Aug 2011 13:14:20 +0200 wenzelm moved theory Nested_Environment to HOL-Unix (a bit too specific for HOL-Library);
less more (0) tip