src/HOL/MicroJava/J/JBasis.thy
2007-09-30 wenzelm 2007-09-30 avoid internal names;
2006-01-04 nipkow 2006-01-04 Reversed Larry's option/iff change.
2005-12-21 paulson 2005-12-21 removed or modified some instances of [iff]
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-02-21 kleing 2002-02-21 new document
2002-02-14 nipkow 2002-02-14 nodups -> distinct
2001-12-16 kleing 2001-12-16 exception merge, cleanup, tuned
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-21 kleing 2000-09-21 unsymbolized
2000-01-10 nipkow 2000-01-10 int:nat->int is pushed inwards.
1999-11-11 nipkow 1999-11-11 *** empty log message ***