isabelle: Changelog

obua [Sun, 09 May 2004 23:04:36 +0200] rev 14722

replaced apply-style proof for instance Multiset :: plus_ac0 by recommended Isar proof style

bauerg [Sun, 09 May 2004 16:39:29 +0200] rev 14721

removed Aux.thy;

wenzelm [Fri, 07 May 2004 20:34:05 +0200] rev 14720

cleanup up read functions, include liberal versions;

wenzelm [Fri, 07 May 2004 20:33:37 +0200] rev 14719

be liberal about constant names;

wenzelm [Fri, 07 May 2004 20:33:14 +0200] rev 14718

tuned;

wenzelm [Fri, 07 May 2004 20:32:50 +0200] rev 14717

tuned notation;

wenzelm [Fri, 07 May 2004 20:32:40 +0200] rev 14716

tuned document;

bauerg [Fri, 07 May 2004 14:10:14 +0200] rev 14715

*** empty log message ***

aspinall [Fri, 07 May 2004 13:42:08 +0200] rev 14714

Add FIXME note re FAIL (is it fixed yet?)

aspinall [Fri, 07 May 2004 13:40:24 +0200] rev 14713

Add cdata output. Add tabs in whitespace. Write two strings instead of Library.quote.

isabelle