diff -r 852597248663 -r badee348c5fb 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