| Sun, 04 Jul 1999 20:19:28 +0200 | wenzelm | added transfer_used_names; | changeset | files |
| Sat, 03 Jul 1999 00:40:57 +0200 | wenzelm | oops; | changeset | files |
| Sat, 03 Jul 1999 00:28:05 +0200 | wenzelm | proper text; | changeset | files |
| Sat, 03 Jul 1999 00:26:00 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 03 Jul 1999 00:23:17 +0200 | wenzelm | tuned print_state; | changeset | files |
| Sat, 03 Jul 1999 00:22:53 +0200 | wenzelm | fixed 'txt'; | changeset | files |
| Sat, 03 Jul 1999 00:21:35 +0200 | wenzelm | pretty_thm: include oracles (!) in hyps; | changeset | files |
| Fri, 02 Jul 1999 19:04:32 +0200 | wenzelm | skip_proof feature 'sorry' (for quick_and_dirty mode only); | changeset | files |