src/HOL/Probability/ex/Dining_Cryptographers.thy
Mon, 23 Aug 2010 19:35:57 +0200 hoelzl Rewrite the Probability theory.
Mon, 03 May 2010 14:35:10 +0200 hoelzl Cleanup information theory
Wed, 07 Apr 2010 17:24:44 +0200 hoelzl Added Information theory and Example: dining cryptographers
less more (0) tip