src/HOL/IMP/Transition.thy
Mon, 29 Apr 1996 20:15:33 +0200 nipkow Streamlined syntax: -(n)-> is now -n->.
Mon, 29 Apr 1996 15:48:27 +0200 nipkow Natural and Transition semantics.
less more (0) tip