Wed, 23 Apr 2014 10:23:26 +0200 | blanchet | invoke 'fp_sugar' interpretation hook on mutually recursive clique | changeset | files |
Wed, 23 Apr 2014 10:23:26 +0200 | blanchet | declare 'bool' and its proxies as a datatype for SPASS-Pirate | changeset | files |
Wed, 23 Apr 2014 10:23:26 +0200 | blanchet | added 'inj_map' as auxiliary BNF theorem | changeset | files |