# HG changeset patch
# User haftmann
# Date 1167242996 -3600
# Node ID 51d8535dfec741dd3cffc2453335fb6bd34cfab2
# Parent  db805c70a5194fc27f2d8ccb3e18749d47ea146f
added code generator test theory

diff -r db805c70a519 -r 51d8535dfec7 src/HOL/IsaMakefile
--- 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			\