| Mon, 19 Apr 2010 10:45:08 +0200 | blanchet | rename Sledgehammer "theory_const" option to "theory_relevant", now that I understand better what it does | changeset | files |
| Mon, 19 Apr 2010 10:15:02 +0200 | blanchet | set SPASS option on the command-line, so that it doesn't vanish when moving to TPTP format | changeset | files |
| Mon, 19 Apr 2010 09:53:31 +0200 | blanchet | get rid of "List.foldl" + add timestamp to SPASS | changeset | files |
| Tue, 20 Apr 2010 15:17:18 +0200 | wenzelm | less ambitious settings for cygwin-poly; | changeset | files |
| Tue, 20 Apr 2010 14:56:58 +0200 | Cezary Kaliszyk | respectfullness and preservation of map for identity quotients | changeset | files |
| Tue, 20 Apr 2010 14:56:20 +0200 | Cezary Kaliszyk | respectfullness and preservation of function composition | changeset | files |
| Tue, 20 Apr 2010 14:55:53 +0200 | Cezary Kaliszyk | eta-normalize the goal since the original theorem is atomized | changeset | files |