src/HOL/MicroJava/BV/JVM.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
Mon, 26 May 2003 18:36:15 +0200 streckem Introduced distinction wf_prog vs. ws_prog
Wed, 19 Jun 2002 12:39:41 +0200 kleing LBV instantiantion refactored, streamlined
Fri, 14 Jun 2002 23:25:36 +0200 kleing wt_method now checks bounded+types ==> wt_kildall <=> wt_method
Tue, 02 Apr 2002 13:47:01 +0200 nipkow Started to convert to locales
Sun, 24 Mar 2002 19:16:51 +0100 kleing tuned
less more (0) -10 -7 tip