src/HOL/Quotient_Examples/Quotient_Int.thy
Sun, 13 Sep 2015 22:56:52 +0200 wenzelm tuned proofs -- less legacy;
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
less more (0) -10 -2 tip