Wed, 13 Sep 2000 22:32:15 +0200 begin_theory: priority message to gain some robustness in sync communication;
wenzelm [Wed, 13 Sep 2000 22:32:15 +0200] rev 9953
begin_theory: priority message to gain some robustness in sync communication;
Wed, 13 Sep 2000 22:31:19 +0200 Args.addN, Args.delN;
wenzelm [Wed, 13 Sep 2000 22:31:19 +0200] rev 9952
Args.addN, Args.delN;
Wed, 13 Sep 2000 22:29:37 +0200 LFilter: setmp quick_and_dirty false;
wenzelm [Wed, 13 Sep 2000 22:29:37 +0200] rev 9951
LFilter: setmp quick_and_dirty false;
Wed, 13 Sep 2000 22:29:17 +0200 \<epsilon>: syntax (input);
wenzelm [Wed, 13 Sep 2000 22:29:17 +0200] rev 9950
\<epsilon>: syntax (input);
Wed, 13 Sep 2000 22:28:50 +0200 tuned recdef hints;
wenzelm [Wed, 13 Sep 2000 22:28:50 +0200] rev 9949
tuned recdef hints;
Wed, 13 Sep 2000 22:27:53 +0200 easy settings: add /usr/local prefix;
wenzelm [Wed, 13 Sep 2000 22:27:53 +0200] rev 9948
easy settings: add /usr/local prefix; tuned;
Wed, 13 Sep 2000 22:27:26 +0200 updated to 3.3d;
wenzelm [Wed, 13 Sep 2000 22:27:26 +0200] rev 9947
updated to 3.3d;
Wed, 13 Sep 2000 22:27:10 +0200 tar packages: /usr/local;
wenzelm [Wed, 13 Sep 2000 22:27:10 +0200] rev 9946
tar packages: /usr/local;
Wed, 13 Sep 2000 18:47:30 +0200 more integer theorems, better simplification
paulson [Wed, 13 Sep 2000 18:47:30 +0200] rev 9945
more integer theorems, better simplification
Wed, 13 Sep 2000 18:46:45 +0200 moved Primes, Fib, Factorization from HOL/ex
paulson [Wed, 13 Sep 2000 18:46:45 +0200] rev 9944
moved Primes, Fib, Factorization from HOL/ex
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip