src/FOLP/ex/Nat.thy
2011-02-18 wenzelm 2011-02-18 more precise headers;
2010-12-20 wenzelm 2010-12-20 proper identifiers for consts and types;
2010-04-23 wenzelm 2010-04-23 mark schematic statements explicitly;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2008-01-27 wenzelm 2008-01-27 eliminated some legacy ML files;
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
1996-02-05 clasohm 1996-02-05 expanded tabs
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1994-05-03 lcp 1994-05-03 removal of obsolete type-declaration syntax
1993-09-16 clasohm 1993-09-16 Initial revision