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.
Fri, 16 Apr 2004 19:04:17 +0200 Added entry for quickcheck command.
berghofe [Fri, 16 Apr 2004 19:04:17 +0200] rev 14602
Added entry for quickcheck command.
Fri, 16 Apr 2004 18:55:25 +0200 Replaced quote by Library.quote, since quote now refers to Symbol.quote
berghofe [Fri, 16 Apr 2004 18:55:25 +0200] rev 14601
Replaced quote by Library.quote, since quote now refers to Symbol.quote
Fri, 16 Apr 2004 18:48:13 +0200 Replaced quote by Pretty.quote / Library.quote, since quote now refers to Symbol.quote
berghofe [Fri, 16 Apr 2004 18:48:13 +0200] rev 14600
Replaced quote by Pretty.quote / Library.quote, since quote now refers to Symbol.quote
Fri, 16 Apr 2004 18:47:00 +0200 Replaced quote by Pretty.quote.
berghofe [Fri, 16 Apr 2004 18:47:00 +0200] rev 14599
Replaced quote by Pretty.quote.
Fri, 16 Apr 2004 18:45:56 +0200 Replaced quote by Library.quote, since quote now refers to Symbol.quote
berghofe [Fri, 16 Apr 2004 18:45:56 +0200] rev 14598
Replaced quote by Library.quote, since quote now refers to Symbol.quote
Fri, 16 Apr 2004 18:44:39 +0200 Added translate function to String structure.
berghofe [Fri, 16 Apr 2004 18:44:39 +0200] rev 14597
Added translate function to String structure.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip