isabelle: Changelog

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;

paulson [Thu, 22 Apr 2004 12:31:33 +0200] rev 14656

changed SML/NJ v 45 to 44

wenzelm [Thu, 22 Apr 2004 12:19:40 +0200] rev 14655

Pure: considerably improved version of 'constdefs' command; Pure: 'advanced' translation functions (parse_translation etc.);

wenzelm [Thu, 22 Apr 2004 12:18:23 +0200] rev 14654

fixed constdefs typing;

wenzelm [Thu, 22 Apr 2004 12:11:17 +0200] rev 14653

constdefs: proper order;

wenzelm [Thu, 22 Apr 2004 11:02:22 +0200] rev 14652

tmp hack get back to old 'constdefs';

wenzelm [Thu, 22 Apr 2004 11:01:34 +0200] rev 14651

improved notation;

isabelle