Thu, 25 Sep 1997 12:08:08 +0200 | paulson | Addition of clarify_tac, clarify_step_tac, Clarify_tac, Clarify_step_tac | changeset | files |
Wed, 24 Sep 1997 12:27:53 +0200 | paulson | sessionK now indexed by nat instead of bool. | changeset | files |
Wed, 24 Sep 1997 12:26:14 +0200 | paulson | Tidied some proofs using clarify_tac | changeset | files |