wenzelm [Sat, 02 Jul 2011 23:31:07 +0200] rev 44523
Thy_Header.read convenience;
wenzelm [Sat, 02 Jul 2011 23:04:19 +0200] rev 44522
some support for Session.File_Store;
wenzelm [Sat, 02 Jul 2011 21:24:19 +0200] rev 44521
tuned signature;
wenzelm [Sat, 02 Jul 2011 20:54:38 +0200] rev 44520
eliminated redundant session_ready;
wenzelm [Sat, 02 Jul 2011 20:22:02 +0200] rev 44519
tuned;
wenzelm [Sat, 02 Jul 2011 19:22:06 +0200] rev 44518
uniform finish_thy -- always Global_Theory.join_proofs, even with sequential scheduling;
wenzelm [Sat, 02 Jul 2011 19:08:51 +0200] rev 44517
misc tuning;
hoelzl [Mon, 04 Jul 2011 10:23:46 +0200] rev 44516
the borel probability measure is easier to handle with {0 ..< 1} (coverable by disjoint intervals {_ ..< _})
hoelzl [Mon, 04 Jul 2011 10:15:49 +0200] rev 44515
equalities of subsets of atLeastLessThan
bulwahn [Sun, 03 Jul 2011 09:59:25 +0200] rev 44514
adding documentation of the value antiquotation to the code generation manual