src/HOL/MicroJava/J/State.thy
Tue, 04 Jul 2000 10:54:32 +0200 oheimb added BinOp
Mon, 15 May 2000 17:34:05 +0200 berghofe Replaced some definitions involving epsilon by more readable primrec
Thu, 11 Nov 1999 12:23:45 +0100 nipkow *** empty log message ***
less more (0) tip