src/HOL/MicroJava/BV/BVNoTypeError.thy
2007-08-20 wenzelm 2007-08-20 theory header: more precise imports;
2007-06-21 wenzelm 2007-06-21 tuned proofs -- avoid implicit prems;
2007-02-07 berghofe 2007-02-07 Adapted to new inductive definition package.
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
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-02-19 paulson 2004-02-19 moved list_all2I to List.thy
2003-05-26 streckem 2003-05-26 Introduced distinction wf_prog vs. ws_prog
2003-02-18 kleing 2003-02-18 check maxs in defensive machine
2002-10-24 kleing 2002-10-24 changes for cleanup in JVM
2002-10-08 kleing 2002-10-08 type safety with defensive machine