src/HOL/MicroJava/J/JTypeSafe.thy
2002-02-14 nipkow 2002-02-14 nodups -> distinct
2001-12-16 kleing 2001-12-16 exception merge, cleanup, tuned
2001-10-01 streckem 2001-10-01 Removed some unfoldings of defs after declaring wf_java_prog as 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
1999-11-11 nipkow 1999-11-11 *** empty log message ***