| Mon, 25 Jun 2007 22:46:55 +0200 | wenzelm | tactics: more robust addressing of subgoal using (C)SUBGOAL/THEN_ALL_NEW; | changeset | files |
| Mon, 25 Jun 2007 16:56:41 +0200 | nipkow | removed theorem | changeset | files |
| Mon, 25 Jun 2007 15:19:34 +0200 | nipkow | removed redundant lemma | changeset | files |
| Mon, 25 Jun 2007 15:19:18 +0200 | nipkow | removed redundant lemmas | changeset | files |