Fri, 01 Dec 2000 19:42:35 +0100 FreeUltrafilterNat ("\\<U>");
wenzelm [Fri, 01 Dec 2000 19:42:35 +0100] rev 10568
FreeUltrafilterNat ("\\<U>");
Fri, 01 Dec 2000 19:42:05 +0100 schematic goals;
wenzelm [Fri, 01 Dec 2000 19:42:05 +0100] rev 10567
schematic goals;
Fri, 01 Dec 2000 19:41:45 +0100 removed quick_and_dirty;
wenzelm [Fri, 01 Dec 2000 19:41:45 +0100] rev 10566
removed quick_and_dirty;
Fri, 01 Dec 2000 19:41:09 +0100 superscripts: syntax (latex);
wenzelm [Fri, 01 Dec 2000 19:41:09 +0100] rev 10565
superscripts: syntax (latex);
Fri, 01 Dec 2000 19:40:42 +0100 usedir: -m option;
wenzelm [Fri, 01 Dec 2000 19:40:42 +0100] rev 10564
usedir: -m option;
Fri, 01 Dec 2000 19:40:18 +0100 added \mathcal A-Z;
wenzelm [Fri, 01 Dec 2000 19:40:18 +0100] rev 10563
added \mathcal A-Z;
Fri, 01 Dec 2000 19:39:54 +0100 option -m;
wenzelm [Fri, 01 Dec 2000 19:39:54 +0100] rev 10562
option -m;
Fri, 01 Dec 2000 13:47:37 +0100 *** empty log message ***
nipkow [Fri, 01 Dec 2000 13:47:37 +0100] rev 10561
*** empty log message ***
Fri, 01 Dec 2000 12:15:47 +0100 *** empty log message ***
nipkow [Fri, 01 Dec 2000 12:15:47 +0100] rev 10560
*** empty log message ***
Fri, 01 Dec 2000 11:03:31 +0100 many new div and mod properties (borrowed from Integ/IntDiv)
paulson [Fri, 01 Dec 2000 11:03:31 +0100] rev 10559
many new div and mod properties (borrowed from Integ/IntDiv)
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip