wenzelm [Fri, 30 Jul 1999 15:56:58 +0200] rev 7137
hacking the rail package;
wenzelm [Fri, 30 Jul 1999 15:56:33 +0200] rev 7136
added update_thy_only;
moved update_thy;
wenzelm [Fri, 30 Jul 1999 15:40:54 +0200] rev 7135
more;
wenzelm [Fri, 30 Jul 1999 14:59:32 +0200] rev 7134
more stuff;
wenzelm [Fri, 30 Jul 1999 13:44:29 +0200] rev 7133
renamed 'same' to '-';
wenzelm [Fri, 30 Jul 1999 13:43:26 +0200] rev 7132
eliminated METHOD0 in favour of same_tac;
wenzelm [Fri, 30 Jul 1999 13:42:57 +0200] rev 7131
'arith' proof method;
wenzelm [Fri, 30 Jul 1999 13:41:43 +0200] rev 7130
added erule;
renamed same to -;
wenzelm [Fri, 30 Jul 1999 13:34:27 +0200] rev 7129
export sysify_path;
paulson [Fri, 30 Jul 1999 09:37:57 +0200] rev 7128
split_diff and remove_diff_ss