src/HOL/Probability/Probability.thy

--- a/src/HOL/Probability/Probability.thy	Thu Dec 01 14:03:57 2011 +0100
+++ b/src/HOL/Probability/Probability.thy	Thu Dec 01 15:41:48 2011 +0100
@@ -6,7 +6,5 @@
   Independent_Family
   Conditional_Probability
   Information
-  "ex/Dining_Cryptographers"
-  "ex/Koepf_Duermuth_Countermeasure"
 begin
 end