Wed, 12 Oct 1994 09:48:32 +0100 | lcp | Pure/tctical/suppress_tracing: new; can now switch tracing off until the | changeset | files |
Wed, 12 Oct 1994 09:42:32 +0100 | lcp | Minor reference updates | changeset | files |
Wed, 12 Oct 1994 09:20:17 +0100 | lcp | Moving theory LList to ex directory | changeset | files |