| Tue, 01 Dec 1998 14:46:58 +0100 | wenzelm | qed: kind_name (again); | changeset | files |
| Tue, 01 Dec 1998 14:46:35 +0100 | wenzelm | show_tags flag; | changeset | files |
| Tue, 01 Dec 1998 10:39:35 +0100 | paulson | new theorem INT_Un | changeset | files |
| Tue, 01 Dec 1998 10:39:02 +0100 | paulson | better version of Image_diag | changeset | files |
| Mon, 30 Nov 1998 10:45:39 +0100 | paulson | tactical CHANGED now uses alpha-eta conversion, not alpha conversion | changeset | files |
| Mon, 30 Nov 1998 10:44:05 +0100 | paulson | Renamed subset_Sigma_llist to subset_Times_llist | changeset | files |
| Mon, 30 Nov 1998 10:43:35 +0100 | paulson | new theorems about diag | changeset | files |
| Sun, 29 Nov 1998 13:21:38 +0100 | wenzelm | fixed declatation of patterns and skolem; | changeset | files |
| Sun, 29 Nov 1998 13:20:49 +0100 | wenzelm | tuned print_state; | changeset | files |
| Sun, 29 Nov 1998 13:19:48 +0100 | wenzelm | tuned welcome msg; | changeset | files |
| Sun, 29 Nov 1998 13:17:42 +0100 | wenzelm | added restart; | changeset | files |
| Sun, 29 Nov 1998 13:17:21 +0100 | wenzelm | added exception RESTART; | changeset | files |
| Sun, 29 Nov 1998 13:16:47 +0100 | wenzelm | proof_general_trans (experimental); | changeset | files |
| Sun, 29 Nov 1998 13:15:50 +0100 | wenzelm | replaced wakeup by decorate_prompt_fn; | changeset | files |
| Sun, 29 Nov 1998 13:15:17 +0100 | wenzelm | eliminated "Trying to recover ..." msg; | changeset | files |