Mon, 05 Oct 2015 16:14:33 +0200 | blanchet | avoid too aggressive optimization of 'finite' predicate | changeset | files |
Mon, 05 Oct 2015 15:57:25 +0200 | blanchet | avoid unsound simplification of (C (s x)) when s is a selector but not C's | changeset | files |
Mon, 05 Oct 2015 13:26:25 +0200 | blanchet | extended theory exporter to also export MePo-selected facts | changeset | files |