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 20820 58693343905f
parent 20808 96d413f78870
child 20866 bc366b4b6ea4 
--- a/src/HOL/IsaMakefile	Sun Oct 01 22:19:21 2006 +0200
+++ b/src/HOL/IsaMakefile	Sun Oct 01 22:19:23 2006 +0200
@@ -85,7 +85,7 @@
   $(SRC)/TFL/thry.ML $(SRC)/TFL/usyntax.ML $(SRC)/TFL/utils.ML			\
   Tools/res_atpset.ML \
   Binomial.thy Datatype.ML Datatype.thy			\
-  Datatype_Universe.thy Divides.thy						\
+  Divides.thy						\
   Equiv_Relations.thy Extraction.thy Finite_Set.ML Finite_Set.thy		\
   FixedPoint.thy Fun.thy HOL.ML HOL.thy Hilbert_Choice.thy Inductive.thy	\
   Integ/IntArith.thy Integ/IntDef.thy Integ/IntDiv.thy				\
isabelle