src/HOL/Nitpick_Examples/Manual_Nits.thy
Tue, 26 Mar 2013 12:20:56 +0100 hoelzl rename RealDef to Real
less more (0) -30 -10 -1 tip