src/HOL/MicroJava/J/Example.thy
Tue, 17 Oct 2000 08:41:42 +0200 oheimb cosmetics
less more (0) -1 tip