src/HOL/Unix/Unix.thy
23 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-11-21 wenzelm 2016-11-21 tuned whitespace;
2016-05-23 nipkow 2016-05-23 renamed prefix* in Library/Sublist
2016-04-28 wenzelm 2016-04-28 tuned;
2016-01-13 wenzelm 2016-01-13 tuned syntax;
2015-12-21 wenzelm 2015-12-21 misc tuning and modernization;
2015-06-07 wenzelm 2015-06-07 tuned;
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 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-08-12 wenzelm 2013-08-12 tuned whitespace;
2012-10-01 wenzelm 2012-10-01 tuned whitespace;
2012-08-30 Christian Sternagel 2012-08-30 List is implicitly imported by Main
2012-08-29 Christian Sternagel 2012-08-29 renamed theory List_Prefix into Sublist (since it is not only about prefixes)
2012-03-30 wenzelm 2012-03-30 "invariant" is free in main HOL (cf. 56adbf5bcc82, e64ffc96a49f);
2012-03-28 wenzelm 2012-03-28 tuned whitespace;
2012-03-23 kuncar 2012-03-23 resolve invariant constant name clash
2012-01-14 wenzelm 2012-01-14 tuned proofs;
2011-11-29 wenzelm 2011-11-29 tuned proofs;
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-08-30 wenzelm 2011-08-30 tuned document;
2011-08-17 wenzelm 2011-08-17 moved theory Nested_Environment to HOL-Unix (a bit too specific for HOL-Library);
2011-06-18 wenzelm 2011-06-18 tuned text;
2011-01-15 wenzelm 2011-01-15 type_synonym;
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-09-08 wenzelm 2010-09-08 tuned proofs (based on fancy gutter icons in Isabelle/jEdit);
2010-05-12 wenzelm 2010-05-12 removed obsolete CVS Ids;
2010-04-29 wenzelm 2010-04-29 avoid clash with keyword 'write';
2008-01-25 wenzelm 2008-01-25 modernized primrec;
2007-12-19 schirmer 2007-12-19 accomodate to replacement of K_record by %x.c
2007-12-10 haftmann 2007-12-10 explicit import of theory Main
2007-07-11 berghofe 2007-07-11 Renamed inductive2 to inductive.
2007-06-21 wenzelm 2007-06-21 tuned proofs -- avoid implicit prems;
2007-06-14 wenzelm 2007-06-14 tuned proofs;
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-14 wenzelm 2006-11-14 converted to 'inductive2';
2006-11-07 schirmer 2006-11-07 field-update in records is generalised to take a function on the field rather than the new value.
2006-10-14 wenzelm 2006-10-14 locale begin/end;
2006-10-12 wenzelm 2006-10-12 replaced attributes_update by map_attributes;
2006-09-11 wenzelm 2006-09-11 induct method: renamed 'fixing' to 'arbitrary';
2006-08-03 wenzelm 2006-08-03 tuned;
2006-04-08 wenzelm 2006-04-08 refined 'abbreviation';
2006-02-16 wenzelm 2006-02-16 new-style definitions/abbreviations;
2006-01-21 wenzelm 2006-01-21 tuned proofs;
2006-01-04 nipkow 2006-01-04 Reversed Larry's option/iff change.
2005-12-21 paulson 2005-12-21 removed or modified some instances of [iff]
2005-12-08 wenzelm 2005-12-08 tuned proofs;
2005-09-17 wenzelm 2005-09-17 tuned document;
2005-08-25 berghofe 2005-08-25 Put quotation marks around some occurrences of "file", since it is now a reserved keyword.
2005-07-01 wenzelm 2005-07-01 tuned;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-09-28 ballarin 2004-09-28 Changes in "includes".
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-07-24 wenzelm 2002-07-24 simplified locale predicates;
2002-07-16 wenzelm 2002-07-16 adapted locales; tuned;
2001-11-06 wenzelm 2001-11-06 use locales instead of consts/axioms;
2001-10-22 wenzelm 2001-10-22 corollary;