# 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 \