Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 48618 1f7e068b4613
parent 48560 e0875d956a6b
child 48625 77c416ef06fa 
--- a/src/HOL/IsaMakefile	Tue Jul 31 12:38:01 2012 +0200
+++ b/src/HOL/IsaMakefile	Thu Jul 26 15:55:19 2012 +0200
@@ -1513,10 +1513,6 @@
   Quickcheck_Examples/ROOT.ML						\
   Quickcheck_Examples/Completeness.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			\
@@ -1823,6 +1819,10 @@
 
 $(LOG)/HOL-Quickcheck_Benchmark.gz: $(OUT)/HOL				\
   Quickcheck_Benchmark/ROOT.ML						\
+  Quickcheck_Benchmark/Needham_Schroeder_Base.thy			\
+  Quickcheck_Benchmark/Needham_Schroeder_No_Attacker_Example.thy	\
+  Quickcheck_Benchmark/Needham_Schroeder_Guided_Attacker_Example.thy	\
+  Quickcheck_Benchmark/Needham_Schroeder_Unguided_Attacker_Example.thy	\
   Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy
 	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Quickcheck_Benchmark
isabelle