src/HOL/Quotient_Examples/Int_Pow.thy
Mon, 16 Sep 2013 15:30:20 +0200 kuncar example using restoring Transfer/Lifting context
less more (0) tip