src/HOL/MicroJava/BV/BVSpec.thy
Sat, 05 Feb 2000 17:31:53 +0100 kleing Branch: top elements of stack only need to be convertible (not equal)
Mon, 06 Dec 1999 14:23:45 +0100 nipkow Renamed some vars
Fri, 26 Nov 1999 08:46:59 +0100 nipkow Various little changes like cmethd -> method and cfield -> field.
Thu, 25 Nov 1999 12:01:28 +0100 nipkow Minor mods.
Fri, 19 Nov 1999 16:30:52 +0100 oheimb re-shaped and re-ordered conversion relations
Thu, 11 Nov 1999 12:23:45 +0100 nipkow *** empty log message ***
less more (0) tip