src/HOL/MicroJava/J/WellForm.thy
Fri, 22 Sep 2000 16:28:53 +0200 kleing added HTML syntax; added spaces in normal syntax for better documents
Thu, 21 Sep 2000 10:42:49 +0200 kleing unsymbolized
Wed, 05 Jan 2000 18:27:07 +0100 oheimb improved symbol for subcls relation
less more (0) -3 tip