isabelle: Changelog

wenzelm [Thu, 30 Aug 2001 22:50:01 +0200] rev 11509

export name;

oheimb [Thu, 30 Aug 2001 17:49:46 +0200] rev 11508

cosmetics

oheimb [Thu, 30 Aug 2001 15:47:30 +0200] rev 11507

removed imname, uncurried Meth

wenzelm [Wed, 29 Aug 2001 21:17:24 +0200] rev 11506

avoid ML bindings;

nipkow [Tue, 28 Aug 2001 14:25:26 +0200] rev 11505

Implemented indentation schema for conditional rewrite trace.

nipkow [Thu, 23 Aug 2001 14:32:48 +0200] rev 11504

Traced depth of conditional rewriting

wenzelm [Tue, 21 Aug 2001 20:09:09 +0200] rev 11503

tuned error message;

wenzelm [Thu, 16 Aug 2001 23:19:12 +0200] rev 11502

prefer immediate monos; tuned;

wenzelm [Wed, 15 Aug 2001 22:20:30 +0200] rev 11501

support for absolute namespace entry paths;

paulson [Fri, 10 Aug 2001 10:25:45 +0200] rev 11500

Updated proofs to take advantage of additional theorems proved by "typedef"

isabelle