| Mon, 18 Oct 2004 11:43:40 +0200 | berghofe | Replaced list of bound variables in simpset by maximal index of bound | changeset | files |
| Fri, 15 Oct 2004 18:49:16 +0200 | schirmer | record_split_simp_tac now can get simp rules as parameter | changeset | files |
| Fri, 15 Oct 2004 18:16:11 +0200 | nipkow | update | changeset | files |
| Fri, 15 Oct 2004 18:16:03 +0200 | nipkow | added and renamed | changeset | files |
| Thu, 14 Oct 2004 12:18:52 +0200 | nipkow | Added a few lemmas | changeset | files |
| Wed, 13 Oct 2004 07:40:13 +0200 | nipkow | mod becuase of chnage in induct | changeset | files |
| Tue, 12 Oct 2004 17:00:39 +0200 | nipkow | Added solution to exercise. | changeset | files |