src/Doc/IsarRef/Proof.thy
Wed, 06 Feb 2013 20:03:42 +0100 wenzelm documentation for 'print_rules';
Wed, 09 Jan 2013 12:22:09 +0100 wenzelm tune spelling;
Tue, 08 Jan 2013 16:23:07 +0100 wenzelm allow negative argument in "consumes" source format;
less more (0) -3 tip