Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/HOL/IsaMakefile
changeset 49258 b149de01d669
parent 49239 f2dd90cc724b
child 49259 b88c3e0b752e 
     1.1 --- a/src/HOL/IsaMakefile	Tue Jul 10 18:41:34 2012 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Jul 11 13:54:37 2012 +0200
     1.3 @@ -1503,7 +1503,10 @@
     1.4    Quickcheck_Examples/Completeness.thy					\
     1.5    Quickcheck_Examples/Find_Unused_Assms_Examples.thy			\
     1.6    Quickcheck_Examples/Hotel_Example.thy					\
     1.7 +  Quickcheck_Examples/Needham_Schroeder_Base.thy			\
     1.8    Quickcheck_Examples/Needham_Schroeder_No_Attacker_Example.thy		\
     1.9 +  Quickcheck_Examples/Needham_Schroeder_Guided_Attacker_Example.thy	\
    1.10 +  Quickcheck_Examples/Needham_Schroeder_Unguided_Attacker_Example.thy	\
    1.11    Quickcheck_Examples/Quickcheck_Examples.thy				\
    1.12    Quickcheck_Examples/Quickcheck_Interfaces.thy				\
    1.13    Quickcheck_Examples/Quickcheck_Lattice_Examples.thy			\
wneuper/isa