src/HOL/MicroJava/J/Example.thy
Wed, 02 Aug 2000 17:54:55 +0200 oheimb minor corrections
less more (0) -1 tip