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;
Sun, 03 Sep 2000 20:03:53 +0200 proper_inform_file_processed: ThyInfo.pretend_use_thy_only;
wenzelm [Sun, 03 Sep 2000 20:03:53 +0200] rev 9821
proper_inform_file_processed: ThyInfo.pretend_use_thy_only;
Sun, 03 Sep 2000 20:03:05 +0200 improved section markup;
wenzelm [Sun, 03 Sep 2000 20:03:05 +0200] rev 9820
improved section markup;
Sun, 03 Sep 2000 20:01:47 +0200 tuned;
wenzelm [Sun, 03 Sep 2000 20:01:47 +0200] rev 9819
tuned;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip