Tue, 07 May 2002 15:03:50 +0200 *** empty log message ***
nipkow [Tue, 07 May 2002 15:03:50 +0200] rev 13111
*** empty log message ***
Tue, 07 May 2002 14:28:34 +0200 be liberal about missing types;
wenzelm [Tue, 07 May 2002 14:28:34 +0200] rev 13110
be liberal about missing types;
Tue, 07 May 2002 14:28:34 +0200 *** empty log message ***
nipkow [Tue, 07 May 2002 14:28:34 +0200] rev 13109
*** empty log message ***
Tue, 07 May 2002 14:27:54 +0200 tuned;
wenzelm [Tue, 07 May 2002 14:27:54 +0200] rev 13108
tuned;
Tue, 07 May 2002 14:27:39 +0200 tuned presentation;
wenzelm [Tue, 07 May 2002 14:27:39 +0200] rev 13107
tuned presentation;
Tue, 07 May 2002 14:27:07 +0200 \documentclass{report};
wenzelm [Tue, 07 May 2002 14:27:07 +0200] rev 13106
\documentclass{report};
Tue, 07 May 2002 14:26:32 +0200 use eq_thm_prop instead of slightly inadequate eq_thm;
wenzelm [Tue, 07 May 2002 14:26:32 +0200] rev 13105
use eq_thm_prop instead of slightly inadequate eq_thm;
Tue, 07 May 2002 14:24:30 +0200 clarified eq_thm;
wenzelm [Tue, 07 May 2002 14:24:30 +0200] rev 13104
clarified eq_thm; added eq_thm_prop;
Mon, 06 May 2002 09:42:20 +0200 Added insert_disjoint and disjoint_insert [simp], and simplified proofs
nipkow [Mon, 06 May 2002 09:42:20 +0200] rev 13103
Added insert_disjoint and disjoint_insert [simp], and simplified proofs
Sat, 04 May 2002 15:47:21 +0200 Added skeletons to speed up rewriting on proof terms.
berghofe [Sat, 04 May 2002 15:47:21 +0200] rev 13102
Added skeletons to speed up rewriting on proof terms.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip