Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added Predicate theory.
authorberghofe
Wed, 07 Feb 2007 17:26:04 +0100
changeset 22260 45f01828cb69
parent 22259 476604be7d88
child 22261 9e185f78e7d4
Added Predicate theory.
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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	\
isabelle