src/HOL/MicroJava/J/Term.thy
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-04 oheimb 2000-07-04 added BinOp
1999-11-11 nipkow 1999-11-11 *** empty log message ***