src/HOL/IMP/Transition.ML
Fri, 23 Aug 1996 13:03:02 +0200 nipkow Generalized my_lemma1: (c3,s3) |--> cs3
Tue, 07 May 1996 18:19:13 +0200 paulson Updated for new form of induction rules
Tue, 30 Apr 1996 17:32:29 +0200 nipkow Added an equivalence proof which avoids the use of -n->
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