wenzelm [Thu, 02 Sep 2010 23:17:13 +0200] rev 39342
Position.Range: exclude singularity (again);
wenzelm [Thu, 02 Sep 2010 17:12:16 +0200] rev 39341
just one refute.ML;
wenzelm [Thu, 02 Sep 2010 16:45:21 +0200] rev 39340
use existing Integer.pow, despite its slightly odd argument order;
wenzelm [Thu, 02 Sep 2010 16:31:50 +0200] rev 39339
tuned whitespace and indentation, emphasizing the logical structure of this long text;
haftmann [Fri, 03 Sep 2010 08:13:28 +0200] rev 39338
merged
haftmann [Thu, 02 Sep 2010 19:09:10 +0200] rev 39337
merged
haftmann [Thu, 02 Sep 2010 19:08:48 +0200] rev 39336
hand out deresolver from serializer invocation
hoelzl [Thu, 02 Sep 2010 21:08:31 +0200] rev 39335
Revert bij_betw changes to simp set (Problem in afp/Ordinals_and_Cardinals)
hoelzl [Thu, 02 Sep 2010 20:44:33 +0200] rev 39334
merged
hoelzl [Thu, 02 Sep 2010 20:29:12 +0200] rev 39333
Updated proofs in Dining Cryptographers theory