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 48188 dcfe2c92fc7c
parent 48179 18461f745b4a
child 48222 fcca68383808 
--- a/src/HOL/IsaMakefile	Wed Jul 04 13:08:44 2012 +0200
+++ b/src/HOL/IsaMakefile	Thu Jul 05 13:24:09 2012 +0200
@@ -458,7 +458,8 @@
   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	\
+  Library/Function_Algebras.thy Library/Function_Division.thy		\
+  Library/Fundamental_Theorem_Algebra.thy				\
   Library/Glbs.thy Library/Indicator_Function.thy			\
   Library/Infinite_Set.thy Library/Inner_Product.thy			\
   Library/Kleene_Algebra.thy Library/LaTeXsugar.thy			\
isabelle