| Mon, 10 Nov 2014 10:29:19 +0100 | traytel | dropped redundant transfer rules (now proved and registered by datatype and plugins) | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | no need for 'set_simps' now that 'datatype_new' generates the desired 'set' property | file | diff | annotate |
| Tue, 25 Feb 2014 15:02:20 +0100 | kuncar | simplify and repair proofs due to df0fda378813 | file | diff | annotate |
| 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 |