Mon, 22 Jan 2001 11:02:53 +0100 | paulson | arg_cong example; tidying to use @subgoals | changeset | files |
Mon, 22 Jan 2001 11:01:49 +0100 | paulson | rename_tac example; tidying to use @subgoals | changeset | files |
Mon, 22 Jan 2001 11:01:05 +0100 | paulson | new examples theory Rules/Tacticals.thy | changeset | files |