isabelle: Changelog

wenzelm [Fri, 23 Sep 2005 13:20:47 +0200] rev 17597

tuned;

paulson [Fri, 23 Sep 2005 10:26:07 +0200] rev 17596

changed defaults

paulson [Fri, 23 Sep 2005 10:25:55 +0200] rev 17595

ATP linkup

obua [Fri, 23 Sep 2005 10:01:14 +0200] rev 17594

replay type_introduction fix

haftmann [Fri, 23 Sep 2005 09:00:19 +0200] rev 17593

temporarily re-introduced overwrite_warn

obua [Fri, 23 Sep 2005 00:52:13 +0200] rev 17592

add debug messages

nipkow [Fri, 23 Sep 2005 00:11:10 +0200] rev 17591

renamed rules to iprover

nipkow [Fri, 23 Sep 2005 00:10:58 +0200] rev 17590

*** empty log message ***

Thu, 22 Sep 2005 23:56:15 +0200 renamed rules to iprover

nipkow [Thu, 22 Sep 2005 23:56:15 +0200] rev 17589

renamed rules to iprover

nipkow [Thu, 22 Sep 2005 23:55:42 +0200] rev 17588

fix because of list lemmas

isabelle