src/HOL/MicroJava/J/Example.thy
Tue, 06 Oct 2015 15:14:28 +0200 wenzelm fewer aliases for toplevel theorem statements;
less more (0) -30 -10 -1 tip