| Thu, 01 Jul 1999 17:41:16 +0200 | wenzelm | fixed backtracking of global_qed; | changeset | files |
| Thu, 01 Jul 1999 17:40:48 +0200 | wenzelm | added check_result; | changeset | files |
| Thu, 01 Jul 1999 17:38:44 +0200 | wenzelm | setmp Display.show_hyps false; | changeset | files |
| Thu, 01 Jul 1999 17:24:29 +0200 | wenzelm | fix, assume, presume: prf_asm; | changeset | files |