Wed, 23 Apr 2014 10:23:27 +0200 | blanchet | prevent tactic failures by detecting and ignoring BNFs with no 'size' functions early | changeset | files |
Wed, 23 Apr 2014 10:23:27 +0200 | blanchet | updated docs | changeset | files |
Wed, 23 Apr 2014 10:23:27 +0200 | blanchet | move size hooks together, with new one preceding old one and sharing same theory data | changeset | files |