| Tue, 20 Aug 1996 17:46:24 +0200 | paulson | Working version of NS, messages 1-3, WITH INTERLEAVING | changeset | files |
| Tue, 20 Aug 1996 12:40:17 +0200 | paulson | Added ref to allow suppression of error msgs | changeset | files |
| Tue, 20 Aug 1996 12:39:30 +0200 | paulson | New classical reasoner: warns of, and ignores, redundant rules. | changeset | files |
| Tue, 20 Aug 1996 12:36:58 +0200 | paulson | Addition of function set_of_list | changeset | files |
| Tue, 20 Aug 1996 12:32:16 +0200 | paulson | Some tidying. This brittle proof depends upon | changeset | files |
| Tue, 20 Aug 1996 12:23:13 +0200 | paulson | Corrected for new classical reasoner: redundant rules | changeset | files |
| Mon, 19 Aug 1996 15:35:11 +0200 | nipkow | updated html-link | changeset | files |
| Mon, 19 Aug 1996 13:06:30 +0200 | paulson | Installation of auto_tac; re-organization | changeset | files |