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;
webertj [Fri, 16 Apr 2004 20:34:41 +0200] rev 14604
exactly1true rewritten (much better when converting to CNF now)
nipkow [Fri, 16 Apr 2004 20:33:16 +0200] rev 14603
Moved ring stuff from ex into Ring_and_Field.
berghofe [Fri, 16 Apr 2004 19:04:17 +0200] rev 14602
Added entry for quickcheck command.
berghofe [Fri, 16 Apr 2004 18:55:25 +0200] rev 14601
Replaced quote by Library.quote, since quote now refers to Symbol.quote