Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added code generator test theory
authorhaftmann
Wed, 27 Dec 2006 19:09:56 +0100
changeset 21907 51d8535dfec7
parent 21906 db805c70a519
child 21908 d02ba728cd56
added code generator test theory
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Dec 27 19:09:55 2006 +0100
+++ b/src/HOL/IsaMakefile	Wed Dec 27 19:09:56 2006 +0100
@@ -617,7 +617,8 @@
   ex/Chinese.thy ex/Classical.thy ex/Classpackage.thy ex/CodeCollections.thy 	\
   ex/CodeEmbed.thy ex/CodeRandom.thy ex/CodeRevappl.thy			 	\
   ex/Codegenerator.thy ex/Commutative_RingEx.thy ex/Hex_Bin_Examples.thy	\
-  ex/Commutative_Ring_Complete.thy ex/Guess.thy ex/Hebrew.thy			\
+  ex/Commutative_Ring_Complete.thy ex/ExecutableContent.thy	\
+  ex/Guess.thy ex/Hebrew.thy			\
   ex/Higher_Order_Logic.thy ex/Hilbert_Classical.thy ex/InSort.thy		\
   ex/InductiveInvariant.thy ex/InductiveInvariant_examples.thy			\
   ex/Intuitionistic.thy ex/Lagrange.thy ex/Locales.thy ex/MT.ML			\
isabelle