| Sun, 28 Jun 2009 22:50:37 +0200 | wenzelm | improved display; | changeset | files |
| Sun, 28 Jun 2009 22:35:23 +0200 | wenzelm | display some platform information; | changeset | files |
| Sun, 28 Jun 2009 19:29:28 +0200 | wenzelm | discontinued separate "pdf" archive -- since it is now relatively small compared to the main archive, there is no point to fragment things; | changeset | files |
| Sun, 28 Jun 2009 18:47:22 +0200 | wenzelm | merged | changeset | files |
| Sun, 28 Jun 2009 15:01:29 +0200 | immler | check if conjectures have been used in proof | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | return number of first conjecture-clause and number of conjecture-clauses; | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | use structure File instead of TextIO; | changeset | files |
| Sun, 28 Jun 2009 15:01:28 +0200 | immler | whitelist for HOL problems with ext: | changeset | files |