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
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip