Fri, 27 Jun 2014 10:11:44 +0200 | blanchet | compile | file | diff | annotate |
Wed, 23 Apr 2014 17:57:56 +0200 | kuncar | predicator simplification rules: support also partially specialized types e.g. 'a * nat | file | diff | annotate |
Wed, 23 Apr 2014 10:23:27 +0200 | blanchet | localize new size function generation code | file | diff | annotate |
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 |