Wed, 09 Feb 2000 12:30:25 +0100 wenzelm [df]rule methods;
Wed, 09 Feb 2000 12:30:04 +0100 wenzelm document -c;
Wed, 09 Feb 2000 12:29:03 +0100 wenzelm eliminated gif dir;
Wed, 09 Feb 2000 12:28:44 +0100 wenzelm option -c;
Wed, 09 Feb 2000 11:45:10 +0100 paulson updated the Client example
Wed, 09 Feb 2000 11:43:53 +0100 paulson tidying: mostly spacing, but also simpler forms for Crypt_imp_OR2 & OR3_imp_OR2
Wed, 09 Feb 2000 11:42:26 +0100 paulson new thm order_less_imp_le
(0) -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip