src/HOL/MicroJava/J/TypeRel.thy
2000-10-03 wenzelm 2000-10-03 eliminated \<oplus>;
2000-09-22 kleing 2000-09-22 added HTML syntax; added spaces in normal syntax for better documents
2000-09-21 kleing 2000-09-21 unsymbolized
2000-07-14 oheimb 2000-07-14 corrections (cast relation, Prog.ML -> Decl.ML)
2000-07-14 oheimb 2000-07-14 re-structuring MicroJava; added Example; corrected := syntax; simplfied cast
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 ***