Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 28227 77221ee0f7b9
parent 28109 3f76ae637f71
child 28243 84d90ec67059 
--- a/src/HOL/IsaMakefile	Mon Sep 15 20:51:58 2008 +0200
+++ b/src/HOL/IsaMakefile	Tue Sep 16 09:21:22 2008 +0200
@@ -184,6 +184,7 @@
   ROOT.ML \
   Arith_Tools.thy \
   ATP_Linkup.thy \
+  Code_Eval.thy \
   Complex/Complex_Main.thy \
   Complex/Complex.thy \
   Complex/Fundamental_Theorem_Algebra.thy \
@@ -210,6 +211,7 @@
   Library/GCD.thy \
   Library/Order_Relation.thy \
   Library/Parity.thy \
+  Library/RType.thy \
   Library/Univ_Poly.thy \
   List.thy \
   Main.thy \
@@ -301,7 +303,7 @@
   Library/List_lexord.thy Library/Commutative_Ring.thy			\
   Library/comm_ring.ML Library/Coinductive_List.thy			\
   Library/AssocList.thy		\
-  Library/Binomial.thy Library/Eval.thy Library/Eval_Witness.thy	\
+  Library/Binomial.thy Library/Eval_Witness.thy	\
   Library/Code_Index.thy Library/Code_Char.thy				\
   Library/Code_Char_chr.thy Library/Code_Integer.thy			\
   Library/Code_Message.thy			\
isabelle