src/HOL/MicroJava/Comp/Index.thy
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2008-06-10 wenzelm 2008-06-10 case_split_tac (works without context);
2005-10-07 nipkow 2005-10-07 changes due to new neq_simproc in simpdata.ML
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
2003-05-26 streckem 2003-05-26 Introduced distinction wf_prog vs. ws_prog
2002-11-29 nipkow 2002-11-29 added a few lemmas
2002-10-23 streckem 2002-10-23 First checkin of compiler