Sat, 17 Apr 2004 13:56:08 +0200 do not mention MLWorks and poly 3.x any more, they are 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
Sat, 17 Apr 2004 00:50:45 +0200 add HOL-Matrix
kleing [Sat, 17 Apr 2004 00:50:45 +0200] rev 14611
add HOL-Matrix
Sat, 17 Apr 2004 00:46:22 +0200 added HOL-Matrix, added HOL/Matrix/ROOT.ML
kleing [Sat, 17 Apr 2004 00:46:22 +0200] rev 14610
added HOL-Matrix, added HOL/Matrix/ROOT.ML
Fri, 16 Apr 2004 21:03:40 +0200 tuned;
wenzelm [Fri, 16 Apr 2004 21:03:40 +0200] rev 14609
tuned;
Fri, 16 Apr 2004 21:00:53 +0200 more elaborate header markup;
wenzelm [Fri, 16 Apr 2004 21:00:53 +0200] rev 14608
more elaborate header markup;
Fri, 16 Apr 2004 21:00:36 +0200 tuned document;
wenzelm [Fri, 16 Apr 2004 21:00:36 +0200] rev 14607
tuned document;
Fri, 16 Apr 2004 21:00:07 +0200 Pure: 'instance' now handles general arities;
wenzelm [Fri, 16 Apr 2004 21:00:07 +0200] rev 14606
Pure: 'instance' now handles general arities;
Fri, 16 Apr 2004 20:59:09 +0200 'instance' and intro_classes now handle general sorts;
wenzelm [Fri, 16 Apr 2004 20:59:09 +0200] rev 14605
'instance' and intro_classes now handle general sorts;
Fri, 16 Apr 2004 20:34:41 +0200 exactly1true rewritten (much better when converting to CNF now)
webertj [Fri, 16 Apr 2004 20:34:41 +0200] rev 14604
exactly1true rewritten (much better when converting to CNF now)
Fri, 16 Apr 2004 20:33:16 +0200 Moved ring stuff from ex into Ring_and_Field.
nipkow [Fri, 16 Apr 2004 20:33:16 +0200] rev 14603
Moved ring stuff from ex into Ring_and_Field.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip