Fri, 09 Jul 1999 16:55:20 +0200 write_keywords: default file name;
wenzelm [Fri, 09 Jul 1999 16:55:20 +0200] rev 6947
write_keywords: default file name;
Fri, 09 Jul 1999 16:54:54 +0200 added compose_single;
wenzelm [Fri, 09 Jul 1999 16:54:54 +0200] rev 6946
added compose_single;
Fri, 09 Jul 1999 16:45:18 +0200 added HOL.trans;
wenzelm [Fri, 09 Jul 1999 16:45:18 +0200] rev 6945
added HOL.trans;
Fri, 09 Jul 1999 16:44:55 +0200 removed qed_with;
wenzelm [Fri, 09 Jul 1999 16:44:55 +0200] rev 6944
removed qed_with;
Fri, 09 Jul 1999 10:49:14 +0200 faster division algorithm; monotonicity of div in 2nd arg
paulson [Fri, 09 Jul 1999 10:49:14 +0200] rev 6943
faster division algorithm; monotonicity of div in 2nd arg
Fri, 09 Jul 1999 10:47:42 +0200 more monotonicity laws for times
paulson [Fri, 09 Jul 1999 10:47:42 +0200] rev 6942
more monotonicity laws for times
Fri, 09 Jul 1999 10:45:09 +0200 products of signs as equivalences
paulson [Fri, 09 Jul 1999 10:45:09 +0200] rev 6941
products of signs as equivalences
Thu, 08 Jul 1999 18:40:43 +0200 -B option;
wenzelm [Thu, 08 Jul 1999 18:40:43 +0200] rev 6940
-B option;
Thu, 08 Jul 1999 18:39:34 +0200 removed old version;
wenzelm [Thu, 08 Jul 1999 18:39:34 +0200] rev 6939
removed old version; tuned;
Thu, 08 Jul 1999 18:39:08 +0200 tuned indentation;
wenzelm [Thu, 08 Jul 1999 18:39:08 +0200] rev 6938
tuned indentation;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip