# HG changeset patch
# User haftmann
# Date 1284551050 -7200
# Node ID 955ce6038aa5d0e53040887a14fd6b0d9e2bb7ef
# Parent  7565c649e7dd25f0d85cdb8d12950d301a86e043
more accurate dependencies

diff -r 7565c649e7dd -r 955ce6038aa5 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Sep 15 12:16:35 2010 +0200
+++ b/src/HOL/IsaMakefile	Wed Sep 15 13:44:10 2010 +0200
@@ -1011,6 +1011,7 @@
   ex/InductiveInvariant_examples.thy ex/Intuitionistic.thy		\
   ex/Lagrange.thy ex/LocaleTest2.thy ex/MT.thy ex/MergeSort.thy		\
   ex/Meson_Test.thy ex/MonoidGroup.thy ex/Multiquote.thy ex/NatSum.thy	\
+  ex/Normalization_by_Evaluation.thy					\
   ex/Numeral.thy ex/PER.thy ex/PresburgerEx.thy ex/Primrec.thy		\
   ex/Quickcheck_Examples.thy ex/Quickcheck_Lattice_Examples.thy		\
   ex/ROOT.ML ex/Recdefs.thy ex/Records.thy ex/ReflectionEx.thy		\