Wed, 06 Sep 2000 08:39:31 +0200 *** empty log message ***
nipkow [Wed, 06 Sep 2000 08:39:31 +0200] rev 9871
*** empty log message ***
Wed, 06 Sep 2000 08:04:41 +0200 less_induct -> nat_less_induct
nipkow [Wed, 06 Sep 2000 08:04:41 +0200] rev 9870
less_induct -> nat_less_induct
Tue, 05 Sep 2000 21:06:01 +0200 improved meson setup;
wenzelm [Tue, 05 Sep 2000 21:06:01 +0200] rev 9869
improved meson setup;
Tue, 05 Sep 2000 18:59:22 +0200 fixed quotes;
wenzelm [Tue, 05 Sep 2000 18:59:22 +0200] rev 9868
fixed quotes;
Tue, 05 Sep 2000 18:53:42 +0200 tuned;
wenzelm [Tue, 05 Sep 2000 18:53:42 +0200] rev 9867
tuned;
Tue, 05 Sep 2000 18:53:21 +0200 proper handling of hints;
wenzelm [Tue, 05 Sep 2000 18:53:21 +0200] rev 9866
proper handling of hints; tuned;
Tue, 05 Sep 2000 18:52:29 +0200 eliminated;
wenzelm [Tue, 05 Sep 2000 18:52:29 +0200] rev 9865
eliminated;
Tue, 05 Sep 2000 18:51:49 +0200 generalized types of args;
wenzelm [Tue, 05 Sep 2000 18:51:49 +0200] rev 9864
generalized types of args;
Tue, 05 Sep 2000 18:51:25 +0200 tuned output of isabelle env;
wenzelm [Tue, 05 Sep 2000 18:51:25 +0200] rev 9863
tuned output of isabelle env;
Tue, 05 Sep 2000 18:50:52 +0200 improved add_rules;
wenzelm [Tue, 05 Sep 2000 18:50:52 +0200] rev 9862
improved add_rules;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip