src/HOL/MicroJava/J/Decl.thy
2006-01-03 haftmann 2006-01-03 class now an keyword, quoted where necessary
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-07-25 nipkow 2003-07-25 Replaced \<leadsto> by \<rightharpoonup>
2002-02-26 kleing 2002-02-26 introduces SystemClasses and BVExample
2002-02-21 kleing 2002-02-21 new document
2001-12-16 kleing 2001-12-16 exception merge, cleanup, tuned
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-01 oheimb 2001-02-01 converted to Isar, simplifying recursion on class hierarchy
2001-01-18 oheimb 2001-01-18 is_class and class now as defs (rather than translations); corrected Digest.thy
2000-12-06 oheimb 2000-12-06 improved superclass entry for classes and definition status of is_class, class corrected recursive definitions of "method" and "fields" cleanup of many proofs, removed superfluous tactics and theorems
2000-09-21 kleing 2000-09-21 unsymbolized
2000-07-14 oheimb 2000-07-14 re-structuring MicroJava; added Example; corrected := syntax; simplfied cast
1999-11-11 nipkow 1999-11-11 *** empty log message ***