src/HOL/MicroJava/J/Eval.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-08-08 streckem 2003-08-08 Added lemma exec_no_xcpt
2002-10-23 streckem 2002-10-23 Added compiler
2002-02-21 kleing 2002-02-21 new document
2001-12-16 kleing 2001-12-16 exception merge, cleanup, tuned
2001-10-01 streckem 2001-10-01 Minor modifications
2001-06-12 oheimb 2001-06-12 corrected xsymbol/HTML syntax
2001-02-05 oheimb 2001-02-05 improved document (added headers etc)
2001-02-03 wenzelm 2001-02-03 simplified 'split_format' syntax;
2001-02-01 oheimb 2001-02-01 converted to Isar, simplifying recursion on class hierarchy
2001-01-18 oheimb 2001-01-18 splitted Loop rule
2001-01-09 oheimb 2001-01-09 improved evaluation judgment syntax; modified Loop rule
2001-01-02 oheimb 2001-01-02 added type annotation to Call
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 tuned spacing for document generation
2000-09-21 kleing 2000-09-21 unsymbolized
2000-08-21 wenzelm 2000-08-21 tuned translations;
2000-08-02 oheimb 2000-08-02 minor corrections
2000-07-16 wenzelm 2000-07-16 fixed tuple translations;
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
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 ***