isabelle: Changelog

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;

wenzelm [Tue, 07 May 2002 14:27:39 +0200] rev 13107

tuned presentation;

wenzelm [Tue, 07 May 2002 14:27:07 +0200] rev 13106

\documentclass{report};

wenzelm [Tue, 07 May 2002 14:26:32 +0200] rev 13105

use eq_thm_prop instead of slightly inadequate eq_thm;

wenzelm [Tue, 07 May 2002 14:24:30 +0200] rev 13104

clarified eq_thm; added eq_thm_prop;

nipkow [Mon, 06 May 2002 09:42:20 +0200] rev 13103

Added insert_disjoint and disjoint_insert [simp], and simplified proofs

berghofe [Sat, 04 May 2002 15:47:21 +0200] rev 13102

Added skeletons to speed up rewriting on proof terms.

kleing [Tue, 30 Apr 2002 13:00:29 +0200] rev 13101

tuned

kleing [Tue, 30 Apr 2002 12:15:48 +0200] rev 13100

physical location of isabelle repository is now sunbroy2

isabelle