src/HOL/Unix/Nested_Environment.thy
2017-06-20 haftmann 2017-06-20 avoid ancient [code, code del] antipattern
2015-12-21 wenzelm 2015-12-21 misc tuning and modernization;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-07 wenzelm 2014-10-07 more cartouches; more antiquotations;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 ported Unix to new datatypes
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2014-02-26 haftmann 2014-02-26 obsolete workaround
2012-10-01 wenzelm 2012-10-01 tuned;
2011-09-04 wenzelm 2011-09-04 tuned document;
2011-08-30 wenzelm 2011-08-30 tuned document;
2011-08-18 wenzelm 2011-08-18 tuned document; tuned proofs;
2011-08-17 wenzelm 2011-08-17 moved theory Nested_Environment to HOL-Unix (a bit too specific for HOL-Library);