src/HOL/MicroJava/J/TypeRel.thy
2000-07-05 oheimb 2000-07-05 corrected symbol for casting relation
2000-01-05 oheimb 2000-01-05 improved symbol for subcls relation
2000-01-03 oheimb 2000-01-03 removed inj_eq from the default simpset again
1999-11-26 nipkow 1999-11-26 Various little changes like cmethd -> method and cfield -> field.
1999-11-11 nipkow 1999-11-11 *** empty log message ***