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.;
less more (0) -30 -10 -1 tip