src/HOL/MicroJava/JVM/Store.ML
Fri, 15 Sep 2000 20:22:00 +0200 wenzelm fixed someI2_ex;
Fri, 15 Sep 2000 12:39:57 +0200 paulson renamed (most of...) the select rules
Thu, 11 Nov 1999 12:23:45 +0100 nipkow *** empty log message ***
less more (0) tip