2007-12-18 Alternative names are now also used when storing theorems for
berghofe [Tue, 18 Dec 2007 12:26:00 +0100] rev 25689
Alternative names are now also used when storing theorems for size functions.
2007-12-18 temporarily fixed documentation due to changed size functions
krauss [Tue, 18 Dec 2007 11:45:08 +0100] rev 25688
temporarily fixed documentation due to changed size functions
2007-12-17 split_primel: salvaged original proof after blow with sledghammer
wenzelm [Tue, 18 Dec 2007 00:17:00 +0100] rev 25687
split_primel: salvaged original proof after blow with sledghammer (this constructive version is required in HOL/Extraction);
2007-12-17 cond_timeit: added message argument, use Exn.capture/release;
wenzelm [Mon, 17 Dec 2007 23:33:00 +0100] rev 25686
cond_timeit: added message argument, use Exn.capture/release; tuned;
2007-12-17 cond_timeit: added message argument;
wenzelm [Mon, 17 Dec 2007 23:26:27 +0100] rev 25685
cond_timeit: added message argument;
2007-12-17 note in target
haftmann [Mon, 17 Dec 2007 22:40:14 +0100] rev 25684
note in target
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip