src/HOL/Quotient_Examples/Int_Pow.thy
2017-08-18 wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-07-22 wenzelm 2016-07-22 tuned proofs -- avoid unstructured calculation;
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-02-19 hoelzl 2016-02-19 generalize more theorems to support enat and ennreal
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2013-09-17 kuncar 2013-09-17 include Int_Pow into Quotient_Examples; add end of the theory
2013-09-16 kuncar 2013-09-16 example using restoring Transfer/Lifting context