--- a/src/HOL/IsaMakefile Tue Jul 10 18:41:34 2012 +0200
+++ b/src/HOL/IsaMakefile Wed Jul 11 13:54:37 2012 +0200
@@ -1503,7 +1503,10 @@
Quickcheck_Examples/Completeness.thy \
Quickcheck_Examples/Find_Unused_Assms_Examples.thy \
Quickcheck_Examples/Hotel_Example.thy \
+ Quickcheck_Examples/Needham_Schroeder_Base.thy \
Quickcheck_Examples/Needham_Schroeder_No_Attacker_Example.thy \
+ Quickcheck_Examples/Needham_Schroeder_Guided_Attacker_Example.thy \
+ Quickcheck_Examples/Needham_Schroeder_Unguided_Attacker_Example.thy \
Quickcheck_Examples/Quickcheck_Examples.thy \
Quickcheck_Examples/Quickcheck_Interfaces.thy \
Quickcheck_Examples/Quickcheck_Lattice_Examples.thy \