src/HOL/Quotient_Examples/Lifting_Code_Dt_Test.thy
Sun, 13 Sep 2015 22:56:52 +0200 wenzelm tuned proofs -- less legacy;
less more (0) tip