isabelle: Changelog

nipkow [Sat, 17 Apr 2004 14:51:00 +0200] rev 14614

2003 -> 2004

kleing [Sat, 17 Apr 2004 13:56:59 +0200] rev 14613

do not mention poly 3.x any more (it is untested)

kleing [Sat, 17 Apr 2004 13:56:08 +0200] rev 14612

do not mention MLWorks and poly 3.x any more, they are untested

kleing [Sat, 17 Apr 2004 00:50:45 +0200] rev 14611

add HOL-Matrix

kleing [Sat, 17 Apr 2004 00:46:22 +0200] rev 14610

added HOL-Matrix, added HOL/Matrix/ROOT.ML

wenzelm [Fri, 16 Apr 2004 21:03:40 +0200] rev 14609

tuned;

wenzelm [Fri, 16 Apr 2004 21:00:53 +0200] rev 14608

more elaborate header markup;

wenzelm [Fri, 16 Apr 2004 21:00:36 +0200] rev 14607

tuned document;

wenzelm [Fri, 16 Apr 2004 21:00:07 +0200] rev 14606

Pure: 'instance' now handles general arities;

wenzelm [Fri, 16 Apr 2004 20:59:09 +0200] rev 14605

'instance' and intro_classes now handle general sorts;

isabelle