src/HOL/Quickcheck_Examples/ROOT.ML

--- a/src/HOL/Quickcheck_Examples/ROOT.ML	Tue Jul 10 18:41:34 2012 +0200
+++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Wed Jul 11 13:54:37 2012 +0200
@@ -5,7 +5,9 @@
   "Completeness",
   "Quickcheck_Interfaces",
   "Hotel_Example",
-  "Needham_Schroeder_No_Attacker_Example"
+  "Needham_Schroeder_No_Attacker_Example",
+  "Needham_Schroeder_Guided_Attacker_Example",
+  "Needham_Schroeder_Unguided_Attacker_Example"
 ];
 
 if getenv "ISABELLE_GHC" = "" then ()