src/HOL/MicroJava/Comp/TranslComp.thy
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
less more (0) -2 tip