src/HOL/IMP/Natural.thy
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2006-09-11 wenzelm 2006-09-11 induct method: renamed 'fixing' to 'arbitrary';
2006-06-06 wenzelm 2006-06-06 quoted "if";
2005-12-08 wenzelm 2005-12-08 tuned proofs;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-04-14 kleing 2004-04-14 use more symbols in HTML output
2001-12-19 wenzelm 2001-12-19 tuned;
2001-12-09 kleing 2001-12-09 converted to Isar
2000-07-04 oheimb 2000-07-04 disambiguated := ; added Examples (factorial)
1998-06-30 berghofe 1998-06-30 Adapted to new inductive definition package.
1998-05-06 nipkow 1998-05-06 Changed [/] to [:=] and removed actual definition.
1996-06-06 paulson 1996-06-06 Quotes now optional around inductive set
1996-04-29 nipkow 1996-04-29 Natural and Transition semantics.