Tue, 05 Sep 2000 09:03:17 +0200 *** empty log message ***
nipkow [Tue, 05 Sep 2000 09:03:17 +0200] rev 9834
*** empty log message ***
Mon, 04 Sep 2000 21:20:14 +0200 tuned comment;
wenzelm [Mon, 04 Sep 2000 21:20:14 +0200] rev 9833
tuned comment;
Mon, 04 Sep 2000 21:19:27 +0200 added safe_mk_meta_eq;
wenzelm [Mon, 04 Sep 2000 21:19:27 +0200] rev 9832
added safe_mk_meta_eq;
Mon, 04 Sep 2000 21:19:07 +0200 tuned "mono" att setup;
wenzelm [Mon, 04 Sep 2000 21:19:07 +0200] rev 9831
tuned "mono" att setup;
Mon, 04 Sep 2000 21:18:33 +0200 tuned;
wenzelm [Mon, 04 Sep 2000 21:18:33 +0200] rev 9830
tuned;
Mon, 04 Sep 2000 21:18:28 +0200 added add_rules, del_rules;
wenzelm [Mon, 04 Sep 2000 21:18:28 +0200] rev 9829
added add_rules, del_rules;
Mon, 04 Sep 2000 18:38:53 +0200 display: avoid empty lines;
wenzelm [Mon, 04 Sep 2000 18:38:53 +0200] rev 9828
display: avoid empty lines;
Mon, 04 Sep 2000 11:21:24 +0200 tuned;
wenzelm [Mon, 04 Sep 2000 11:21:24 +0200] rev 9827
tuned;
Mon, 04 Sep 2000 10:26:34 +0200 minor fixes for new version of Primes.thy
paulson [Mon, 04 Sep 2000 10:26:34 +0200] rev 9826
minor fixes for new version of Primes.thy
Mon, 04 Sep 2000 10:25:32 +0200 Renamed real_of_posnat_less_zero to real_of_posnat_gt_zero
paulson [Mon, 04 Sep 2000 10:25:32 +0200] rev 9825
Renamed real_of_posnat_less_zero to real_of_posnat_gt_zero
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip