| Wed, 23 Apr 2014 10:23:27 +0200 | blanchet | manual merge + added 'rel_distincts' field to record for symmetry | file | diff | annotate |
| Fri, 11 Apr 2014 16:59:42 +0200 | kuncar | observe also DEADID BNFs and associate the conjunction in rel_inject to the right | file | diff | annotate |
| Thu, 10 Apr 2014 17:48:18 +0200 | kuncar | setup for Transfer and Lifting from BNF; tuned thm names | file | diff | annotate |