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;
Thu, 05 Nov 1998 14:05:57 +0100 Shortened names and added new thm.
nipkow [Thu, 05 Nov 1998 14:05:57 +0100] rev 5802
Shortened names and added new thm.
Wed, 04 Nov 1998 13:00:15 +0100 Some streamlining of text.
paulson [Wed, 04 Nov 1998 13:00:15 +0100] rev 5801
Some streamlining of text. Theory library is now assumed to be LOCAL and not at TUM.
Tue, 03 Nov 1998 17:44:16 +0100 tuned;
wenzelm [Tue, 03 Nov 1998 17:44:16 +0100] rev 5800
tuned;
Tue, 03 Nov 1998 09:57:53 +0100 tuned width of pics;
wenzelm [Tue, 03 Nov 1998 09:57:53 +0100] rev 5799
tuned width of pics;
Tue, 03 Nov 1998 09:47:49 +0100 tuned;
wenzelm [Tue, 03 Nov 1998 09:47:49 +0100] rev 5798
tuned;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip