src/HOL/MicroJava/BV/Correct.thy
Wed, 07 Feb 2007 17:44:07 +0100 berghofe Adapted to new inductive definition package.
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Sun, 27 Oct 2002 23:34:02 +0100 kleing simplified lemma correct_frames_newref
Sat, 09 Mar 2002 20:39:46 +0100 kleing canonical start state
Sun, 03 Mar 2002 16:59:08 +0100 kleing symbolized
Thu, 21 Feb 2002 09:54:08 +0100 kleing new document
Tue, 15 Jan 2002 23:23:09 +0100 kleing fixed theory deps
less more (0) -30 -10 -7 tip