| 2010-04-19 | blanchet | rename Sledgehammer "theory_const" option to "theory_relevant", now that I understand better what it does | changeset | files |
| 2010-04-19 | blanchet | set SPASS option on the command-line, so that it doesn't vanish when moving to TPTP format | changeset | files |
| 2010-04-19 | blanchet | get rid of "List.foldl" + add timestamp to SPASS | changeset | files |
| 2010-04-20 | wenzelm | less ambitious settings for cygwin-poly; | changeset | files |
| 2010-04-20 | Cezary Kaliszyk | respectfullness and preservation of map for identity quotients | changeset | files |
| 2010-04-20 | Cezary Kaliszyk | respectfullness and preservation of function composition | changeset | files |
| 2010-04-20 | Cezary Kaliszyk | eta-normalize the goal since the original theorem is atomized | changeset | files |
| Loading... | |||