Fri, 18 Oct 1996 11:39:10 +0200 | paulson | Important correction to comment | changeset | files |
Fri, 18 Oct 1996 11:38:17 +0200 | paulson | Replaced excluded_middle_tac by case_tac; tidied proofs | changeset | files |
Fri, 18 Oct 1996 11:37:19 +0200 | paulson | Tidied up the proof of A_trust_NS4 | changeset | files |