wenzelm [Fri, 09 Jul 1999 18:47:15 +0200] rev 6951
global_qed: removed alt_name, alt_att;
wenzelm [Fri, 09 Jul 1999 18:46:51 +0200] rev 6950
global_qed: removed alt_name, alt_att;
setup_goal: proper order of prems;
wenzelm [Fri, 09 Jul 1999 18:45:15 +0200] rev 6949
added termp;
wenzelm [Fri, 09 Jul 1999 18:44:58 +0200] rev 6948
COMP: optional position;
wenzelm [Fri, 09 Jul 1999 16:55:20 +0200] rev 6947
write_keywords: default file name;
wenzelm [Fri, 09 Jul 1999 16:54:54 +0200] rev 6946
added compose_single;
wenzelm [Fri, 09 Jul 1999 16:45:18 +0200] rev 6945
added HOL.trans;
wenzelm [Fri, 09 Jul 1999 16:44:55 +0200] rev 6944
removed qed_with;
paulson [Fri, 09 Jul 1999 10:49:14 +0200] rev 6943
faster division algorithm; monotonicity of div in 2nd arg
paulson [Fri, 09 Jul 1999 10:47:42 +0200] rev 6942
more monotonicity laws for times
paulson [Fri, 09 Jul 1999 10:45:09 +0200] rev 6941
products of signs as equivalences
wenzelm [Thu, 08 Jul 1999 18:40:43 +0200] rev 6940
-B option;
wenzelm [Thu, 08 Jul 1999 18:39:34 +0200] rev 6939
removed old version;
tuned;
wenzelm [Thu, 08 Jul 1999 18:39:08 +0200] rev 6938
tuned indentation;