| Fri, 04 Jul 2014 20:18:47 +0200 | haftmann | reduced name variants for assoc and commute on plus and mult | file | diff | annotate |
| Tue, 17 Sep 2013 14:10:33 +0200 | kuncar | include Int_Pow into Quotient_Examples; add end of the theory | file | diff | annotate |
| Mon, 16 Sep 2013 15:30:20 +0200 | kuncar | example using restoring Transfer/Lifting context | file | diff | annotate |