| Thu, 22 Aug 2013 12:16:56 +0200 | blanchet | take chained and proximate facts into consideration when computing MaSh features | changeset | files |
| Thu, 22 Aug 2013 12:12:52 +0200 | blanchet | pour extra features from proximate facts into goal, in exporter | changeset | files |
| Thu, 22 Aug 2013 12:12:51 +0200 | blanchet | cleanup old duplicated functionality | changeset | files |
| Thu, 22 Aug 2013 11:30:14 +0200 | traytel | store theorem about composition of fold and map in fp_result | changeset | files |