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
hoelzl [Thu, 02 Sep 2010 19:57:16 +0200] rev 39332
Corrected definition and hence removed sorry.
hoelzl [Thu, 02 Sep 2010 19:51:53 +0200] rev 39331
Moved lemmas to appropriate locations
hoelzl [Thu, 02 Sep 2010 17:28:00 +0200] rev 39330
merged