src/HOL/MicroJava/Comp/CorrComp.thy
Wed, 27 Apr 2005 16:39:44 +0200 paulson partial modernising of theory headers
Tue, 01 Feb 2005 18:01:57 +0100 paulson the new subst tactic, by Lucas Dixon
less more (0) -10 -2 tip