src/HOL/MicroJava/Comp/TranslCompTp.thy
2010-03-01 ago replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-02-24 ago modernized syntax declarations, and make them actually work with authentic syntax;
2010-02-11 ago modernized translations;
2009-10-17 ago eliminated hard tabulators, guessing at each author's individual tab-width;
2005-02-01 ago the new subst tactic, by Lucas Dixon
2004-06-21 ago Merged in license change from Isabelle2004
2002-10-23 ago First checkin of compiler