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 48041 d60f6b41bf2d
parent 48028 a5377f6d9f14
child 48049 d862b0d56c49
child 48051 53a0df441e20 
--- a/src/HOL/IsaMakefile	Wed May 30 10:04:05 2012 +0200
+++ b/src/HOL/IsaMakefile	Wed May 30 16:05:06 2012 +0200
@@ -455,7 +455,7 @@
   Library/DAList.thy Library/Dlist.thy					\
   Library/Eval_Witness.thy						\
   Library/Extended_Real.thy Library/Extended_Nat.thy			\
-  Library/FinFun.thy Library/Float.thy					\
+  Library/FinFun.thy Library/FinFun_Syntax.thy Library/Float.thy	\
   Library/Formal_Power_Series.thy Library/Fraction_Field.thy		\
   Library/FrechetDeriv.thy Library/FuncSet.thy				\
   Library/Function_Algebras.thy Library/Fundamental_Theorem_Algebra.thy	\
isabelle