src/HOL/IMP/Transition.thy
1996-06-06 paulson 1996-06-06 Quotes now optional around inductive set
1996-04-29 nipkow 1996-04-29 Streamlined syntax: -(n)-> is now -n->.
1996-04-29 nipkow 1996-04-29 Natural and Transition semantics.