| Fri, 27 Sep 2013 09:15:40 +0200 | Andreas Lochbihler | tuned proofs | file | diff | annotate |
| Thu, 26 Sep 2013 15:50:33 +0200 | Andreas Lochbihler | add lemmas | file | diff | annotate |
| Tue, 13 Aug 2013 15:59:22 +0200 | kuncar | move Lifting/Transfer relevant parts of Library/Quotient_* to Main | file | diff | annotate |