wenzelm [Mon, 04 Sep 2000 21:18:33 +0200] rev 9830
tuned;
wenzelm [Mon, 04 Sep 2000 21:18:28 +0200] rev 9829
added add_rules, del_rules;
wenzelm [Mon, 04 Sep 2000 18:38:53 +0200] rev 9828
display: avoid empty lines;
wenzelm [Mon, 04 Sep 2000 11:21:24 +0200] rev 9827
tuned;
paulson [Mon, 04 Sep 2000 10:26:34 +0200] rev 9826
minor fixes for new version of Primes.thy
paulson [Mon, 04 Sep 2000 10:25:32 +0200] rev 9825
Renamed real_of_posnat_less_zero to real_of_posnat_gt_zero
paulson [Mon, 04 Sep 2000 10:24:55 +0200] rev 9824
Converting HOL/ex/Primes.thy to new style, removing Primes.ML
nipkow [Mon, 04 Sep 2000 09:40:28 +0200] rev 9823
BCV
wenzelm [Sun, 03 Sep 2000 20:04:43 +0200] rev 9822
added pretend_use_thy_only;
wenzelm [Sun, 03 Sep 2000 20:03:53 +0200] rev 9821
proper_inform_file_processed: ThyInfo.pretend_use_thy_only;