src/HOL/IMP/Natural.thy
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.