Mon, 05 Sep 2011 11:28:10 +0200 | boehmes | filter out all schematic theorems if the problem contains no ground constants | changeset | files |
Sun, 04 Sep 2011 21:04:02 -0700 | huffman | merged | changeset | files |
Sun, 04 Sep 2011 21:03:54 -0700 | huffman | tuned comments | changeset | files |