# HG changeset patch
# User berghofe
# Date 1170865564 -3600
# Node ID 45f01828cb69830549535b9272321c4f5958eefa
# Parent  476604be7d88ef45a9b422782065d19f1c5d080e
Added Predicate theory.

diff -r 476604be7d88 -r 45f01828cb69 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Feb 07 17:25:39 2007 +0100
+++ b/src/HOL/IsaMakefile	Wed Feb 07 17:26:04 2007 +0100
@@ -93,7 +93,7 @@
   Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML Integ/presburger.ML	\
   Integ/qelim.ML Integ/reflected_cooper.ML Integ/reflected_presburger.ML	\
   LOrder.thy Lattices.thy List.thy Main.thy Map.thy Nat.ML Nat.thy		\
-  OrderedGroup.ML OrderedGroup.thy Orderings.thy Power.thy PreList.thy		\
+  OrderedGroup.ML OrderedGroup.thy Orderings.thy Power.thy Predicate.thy PreList.thy	\
   Product_Type.thy ROOT.ML Recdef.thy Record.thy Refute.thy Relation.thy	\
   Relation_Power.thy Ring_and_Field.thy SAT.thy Set.thy SetInterval.thy		\
   Sum_Type.thy Tools/res_reconstruct.ML Tools/ATP/reduce_axiomsN.ML	\