| Tue, 18 Feb 2014 23:03:49 +0100 | kuncar | delete or move now not necessary reflexivity rules due to 1726f46d2aa8 | file | diff | annotate |
| Tue, 05 Nov 2013 09:44:57 +0100 | hoelzl | generalize SUP and INF to the syntactic type classes Sup and Inf | file | diff | annotate |
| Fri, 27 Sep 2013 14:43:26 +0200 | kuncar | new parametricity rules and useful lemmas | file | diff | annotate |
| 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 |