| Wed, 19 Feb 2014 16:32:37 +0100 | blanchet | merged 'List.set' with BNF-generated 'set' | file | diff | annotate |
| Tue, 13 Aug 2013 15:59:22 +0200 | kuncar | remove unnecessary dependencies on Library/Quotient_* | file | diff | annotate |
| Sat, 08 Jun 2013 19:40:19 -0700 | huffman | implement 'transferred' attribute for transfer package, with support for monotonicity of !!/==> | file | diff | annotate |
| Wed, 15 May 2013 12:10:39 +0200 | kuncar | stronger reflexivity prover | file | diff | annotate |
| Wed, 13 Mar 2013 14:33:15 +0100 | kuncar | rename fset_member to fmember and prove parametricity | file | diff | annotate |
| Wed, 13 Mar 2013 13:23:16 +0100 | traytel | BNF uses fset defined via Lifting/Transfer rather than Quotient | file | diff | annotate |
| Fri, 08 Mar 2013 13:21:45 +0100 | kuncar | simplify Lift_FSet because we have parametricity in Lifting now | file | diff | annotate |