src/HOL/MicroJava/BV/LBVSpec.thy
Thu, 21 Jun 2007 20:07:26 +0200 wenzelm tuned proofs -- avoid implicit prems;
Wed, 06 Jun 2007 19:12:59 +0200 nipkow changed filter syntax from : to <-
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Wed, 04 Aug 2004 19:09:58 +0200 nipkow proof mod
Tue, 16 Jul 2002 18:26:09 +0200 wenzelm adapted to locale defs;
Tue, 30 Apr 2002 13:00:29 +0200 kleing tuned
Thu, 04 Apr 2002 16:48:00 +0200 kleing flattened, uses locales
less more (0) -30 -10 -7 tip