Mon, 09 Nov 1998 11:08:42 +0100 simple interrupt_handler;
wenzelm [Mon, 09 Nov 1998 11:08:42 +0100] rev 5812
simple interrupt_handler;
Mon, 09 Nov 1998 11:00:44 +0100 new Domain/Range rules
paulson [Mon, 09 Nov 1998 11:00:44 +0100] rev 5811
new Domain/Range rules
Mon, 09 Nov 1998 10:59:47 +0100 new TIMES/Sigma rules
paulson [Mon, 09 Nov 1998 10:59:47 +0100] rev 5810
new TIMES/Sigma rules
Mon, 09 Nov 1998 10:58:49 +0100 removed obsolete comment and "open" declaration
paulson [Mon, 09 Nov 1998 10:58:49 +0100] rev 5809
removed obsolete comment and "open" declaration
Fri, 06 Nov 1998 15:48:37 +0100 "Subscribe" link
paulson [Fri, 06 Nov 1998 15:48:37 +0100] rev 5808
"Subscribe" link
Fri, 06 Nov 1998 14:04:54 +0100 spell check;
wenzelm [Fri, 06 Nov 1998 14:04:54 +0100] rev 5807
spell check;
Fri, 06 Nov 1998 13:58:59 +0100 tuned;
wenzelm [Fri, 06 Nov 1998 13:58:59 +0100] rev 5806
tuned;
Fri, 06 Nov 1998 13:42:13 +0100 added mailing list, removed mirrors;
mueller [Fri, 06 Nov 1998 13:42:13 +0100] rev 5805
added mailing list, removed mirrors;
Fri, 06 Nov 1998 13:20:29 +0100 Revising the Client proof as suggested by Michel Charpentier. New lemmas
paulson [Fri, 06 Nov 1998 13:20:29 +0100] rev 5804
Revising the Client proof as suggested by Michel Charpentier. New lemmas about composition (in Union.ML), etc. Also changed "length" to "size" because it is displayed as "size" in any event.
Thu, 05 Nov 1998 15:33:27 +0100 made more generic;
mueller [Thu, 05 Nov 1998 15:33:27 +0100] rev 5803
made more generic;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip