changeset 48224 | f2dd90cc724b |
parent 48222 | fcca68383808 |
child 48234 | 06216c789ac9 |
child 48243 | b149de01d669 |
--- a/src/HOL/IsaMakefile Tue Jul 10 13:45:08 2012 +0200 +++ b/src/HOL/IsaMakefile Tue Jul 10 18:41:34 2012 +0200 @@ -1503,6 +1503,7 @@ Quickcheck_Examples/Completeness.thy \ Quickcheck_Examples/Find_Unused_Assms_Examples.thy \ Quickcheck_Examples/Hotel_Example.thy \ + Quickcheck_Examples/Needham_Schroeder_No_Attacker_Example.thy \ Quickcheck_Examples/Quickcheck_Examples.thy \ Quickcheck_Examples/Quickcheck_Interfaces.thy \ Quickcheck_Examples/Quickcheck_Lattice_Examples.thy \