src/FOL/ex/Nat.thy
2015-10-19 wenzelm 2015-10-19 more symbols; tunes whitespace;
2015-07-23 wenzelm 2015-07-23 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-02-10 wenzelm 2014-02-10 prefer vacuous definitional type classes over axiomatic ones;
2011-02-18 wenzelm 2011-02-18 modernized specifications;
2010-12-20 wenzelm 2010-12-20 proper identifiers for consts and types;
2009-07-09 wenzelm 2009-07-09 removed obsolete CVS Ids;
2008-01-27 wenzelm 2008-01-27 tuned;
2006-06-07 wenzelm 2006-06-07 removed obsolete ML files;
2005-09-03 wenzelm 2005-09-03 converted to Isar theory format;
1997-05-06 wenzelm 1997-05-06 tuned comments;
1996-02-05 clasohm 1996-02-05 expanded tabs
1995-11-07 clasohm 1995-11-07 removed quotes from types in consts section
1994-05-03 lcp 1994-05-03 removal of obsolete type-declaration syntax
1993-09-16 clasohm 1993-09-16 Initial revision