src/HOL/MicroJava/JVM/JVMInstructions.thy
Thu, 11 Sep 2014 19:32:36 +0200 blanchet updated news
Tue, 09 Sep 2014 20:51:36 +0200 blanchet use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
Sat, 23 Apr 2011 13:00:19 +0200 wenzelm modernized specifications;
Sun, 16 Jan 2011 15:53:03 +0100 wenzelm tuned headers;
less more (0) -10 -4 tip