src/HOL/MicroJava/J/Term.thy
Tue, 04 Jul 2000 10:54:32 +0200 oheimb added BinOp
Thu, 11 Nov 1999 12:23:45 +0100 nipkow *** empty log message ***
less more (0) tip