Tue, 07 Jan 1997 12:42:48 +0100 Default rewrite rules for quantification over Collect(A,P)
paulson [Tue, 07 Jan 1997 12:42:48 +0100] rev 2483
Default rewrite rules for quantification over Collect(A,P)
Tue, 07 Jan 1997 12:37:07 +0100 Default rewrite rules for quantification over Collect(A,P)
paulson [Tue, 07 Jan 1997 12:37:07 +0100] rev 2482
Default rewrite rules for quantification over Collect(A,P)
Tue, 07 Jan 1997 10:19:43 +0100 Now uses HPair
paulson [Tue, 07 Jan 1997 10:19:43 +0100] rev 2481
Now uses HPair
Tue, 07 Jan 1997 10:18:20 +0100 Tidied up the unicity proofs
paulson [Tue, 07 Jan 1997 10:18:20 +0100] rev 2480
Tidied up the unicity proofs
Tue, 07 Jan 1997 10:17:07 +0100 Updated account of implicit simpsets and clasets
paulson [Tue, 07 Jan 1997 10:17:07 +0100] rev 2479
Updated account of implicit simpsets and clasets
Tue, 07 Jan 1997 09:06:01 +0100 added ISABELLE, ISATOOL;
wenzelm [Tue, 07 Jan 1997 09:06:01 +0100] rev 2478
added ISABELLE, ISATOOL;
Tue, 07 Jan 1997 09:05:26 +0100 testdir: use dir without committing into database;
wenzelm [Tue, 07 Jan 1997 09:05:26 +0100] rev 2477
testdir: use dir without committing into database;
Tue, 07 Jan 1997 09:04:53 +0100 added dvi viewer alternative;
wenzelm [Tue, 07 Jan 1997 09:04:53 +0100] rev 2476
added dvi viewer alternative;
Tue, 07 Jan 1997 09:03:53 +0100 fixed cmp -s option;
wenzelm [Tue, 07 Jan 1997 09:03:53 +0100] rev 2475
fixed cmp -s option;
Tue, 07 Jan 1997 09:01:52 +0100 minor tuning;
wenzelm [Tue, 07 Jan 1997 09:01:52 +0100] rev 2474
minor tuning;
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip