src/HOL/MicroJava/J/Value.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-02-21 kleing 2002-02-21 new document
2001-12-16 kleing 2001-12-16 exception merge, cleanup, tuned
2001-12-01 wenzelm 2001-12-01 renamed class "term" to "type" (actually "HOL.type");
2001-10-23 wenzelm 2001-10-23 eliminated old numerals;
2001-10-05 wenzelm 2001-10-05 sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, "num" syntax (still with "#"), Numeral0, Numeral1;
2001-02-05 oheimb 2001-02-05 improved document (added headers etc)
2001-02-01 oheimb 2001-02-01 converted to Isar, simplifying recursion on class hierarchy
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 re-structuring MicroJava; added Example; corrected := syntax; simplfied cast