Tue, 07 May 2002 14:24:30 +0200 | wenzelm | clarified eq_thm; | changeset | files |
Mon, 06 May 2002 09:42:20 +0200 | nipkow | Added insert_disjoint and disjoint_insert [simp], and simplified proofs | changeset | files |
Sat, 04 May 2002 15:47:21 +0200 | berghofe | Added skeletons to speed up rewriting on proof terms. | changeset | files |