| Sat, 28 Feb 2009 14:09:58 +0100 | wenzelm | removed Ids; | changeset | files |
| Sat, 28 Feb 2009 14:02:12 +0100 | wenzelm | moved some generic tools to src/Tools/ -- src/Provers is essentially obsolete; | changeset | files |
| Sat, 28 Feb 2009 13:54:47 +0100 | wenzelm | some updates on ancient README; | changeset | files |