src/HOL/Unix/Unix.thy
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;
2001-10-16 wenzelm 2001-10-16 tuned induction proofs;
2001-10-14 wenzelm 2001-10-14 fixed auto steps (due to changed atomize);
2001-09-04 wenzelm 2001-09-04 renamed "antecedent" case to "rule_context";
2001-02-05 wenzelm 2001-02-05 tuned
2001-01-30 wenzelm 2001-01-30 tuned;
2001-01-26 wenzelm 2001-01-26 tuned;
2001-01-23 wenzelm 2001-01-23 added HOL-Unix example;