isabelle: Changelog

wenzelm [Fri, 23 Apr 2004 21:46:04 +0200] rev 14666

improved notation;

wenzelm [Fri, 23 Apr 2004 20:52:04 +0200] rev 14665

index syntax: support for general expressions (input only);

wenzelm [Fri, 23 Apr 2004 20:50:51 +0200] rev 14664

improved messages;

wenzelm [Fri, 23 Apr 2004 20:50:16 +0200] rev 14663

HOL-Matrix: document setup;

wenzelm [Fri, 23 Apr 2004 20:49:26 +0200] rev 14662

proper document setup;

wenzelm [Fri, 23 Apr 2004 20:48:28 +0200] rev 14661

tuned notation;

wenzelm [Fri, 23 Apr 2004 20:47:48 +0200] rev 14660

updated -- too late for Isabelle2004!

kleing [Fri, 23 Apr 2004 14:47:12 +0200] rev 14659

add link to HOL4 libraries

paulson [Fri, 23 Apr 2004 11:04:07 +0200] rev 14658

congruent2 now allows different equiv relations

wenzelm [Thu, 22 Apr 2004 13:26:47 +0200] rev 14657

'constdefs' with automatic type-inference and structure context;

isabelle