# HG changeset patch
# User bulwahn
# Date 1269448844 -3600
# Node ID f53dc0b539fa0e90c18794410ab4e999c8818f9c
# Parent  e657fb805c6879525adbd19ab48b27ef2cc5dcfa
removed predicate_compile_core.ML from HOL-ex session

diff -r e657fb805c68 -r f53dc0b539fa src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Mar 24 17:40:44 2010 +0100
+++ b/src/HOL/IsaMakefile	Wed Mar 24 17:40:44 2010 +0100
@@ -950,7 +950,6 @@
 
 $(LOG)/HOL-ex.gz: $(OUT)/HOL Decision_Procs/Commutative_Ring.thy	\
   Number_Theory/Primes.thy						\
-  Tools/Predicate_Compile/predicate_compile_core.ML			\
   ex/Abstract_NAT.thy ex/Antiquote.thy ex/Arith_Examples.thy		\
   ex/Arithmetic_Series_Complex.thy ex/BT.thy ex/BinEx.thy		\
   ex/Binary.thy ex/CTL.thy ex/Chinese.thy ex/Classical.thy		\