src/HOL/MicroJava/J/Example.thy
Tue, 10 Feb 2015 14:48:26 +0100 wenzelm proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.;
Mon, 29 Dec 2014 21:02:49 +0100 wenzelm tuned;
less more (0) -30 -10 -2 tip