src/HOL/MicroJava/Comp/CorrComp.thy
Mon, 17 Oct 2005 23:10:13 +0200 wenzelm change_claset/simpset;
Thu, 28 Apr 2005 01:57:15 +0200 kleing sped up a bit
Wed, 27 Apr 2005 16:39:44 +0200 paulson partial modernising of theory headers
less more (0) -10 -3 tip