Mon, 06 Apr 2009 08:24:55 +0200 | haftmann | tuned whitespace | changeset | files |
Sun, 05 Apr 2009 23:19:39 +0200 | wenzelm | merged | changeset | files |
Sat, 04 Apr 2009 20:22:39 +0200 | immler | reverted to explicitly check the presence of a refutation | changeset | files |
Sun, 05 Apr 2009 23:15:01 +0200 | wenzelm | tuned white space; | changeset | files |