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
Mon, 04 Sep 2000 10:24:55 +0200 Converting HOL/ex/Primes.thy to new style, removing Primes.ML
paulson [Mon, 04 Sep 2000 10:24:55 +0200] rev 9824
Converting HOL/ex/Primes.thy to new style, removing Primes.ML
Mon, 04 Sep 2000 09:40:28 +0200 BCV
nipkow [Mon, 04 Sep 2000 09:40:28 +0200] rev 9823
BCV
Sun, 03 Sep 2000 20:04:43 +0200 added pretend_use_thy_only;
wenzelm [Sun, 03 Sep 2000 20:04:43 +0200] rev 9822
added pretend_use_thy_only;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip