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 40650 d40b347d5b0b
parent 40634 dc124a486f94
child 40662 798aad2229c0
child 40673 3b9b39ac1f24 
--- a/src/HOL/IsaMakefile	Mon Nov 22 11:34:55 2010 +0100
+++ b/src/HOL/IsaMakefile	Mon Nov 22 11:34:56 2010 +0100
@@ -246,6 +246,7 @@
   Divides.thy \
   DSequence.thy \
   Equiv_Relations.thy \
+  Enum.thy \
   Groebner_Basis.thy \
   Hilbert_Choice.thy \
   Int.thy \
@@ -416,7 +417,7 @@
   Library/Code_Prolog.thy Tools/Predicate_Compile/code_prolog.ML	\
   Library/ContNotDenum.thy Library/Continuity.thy Library/Convex.thy	\
   Library/Countable.thy Library/Diagonalize.thy Library/Dlist.thy	\
-  Library/Efficient_Nat.thy Library/Enum.thy Library/Eval_Witness.thy	\
+  Library/Efficient_Nat.thy Library/Eval_Witness.thy 			\
   Library/Executable_Set.thy Library/Float.thy				\
   Library/Formal_Power_Series.thy Library/Fraction_Field.thy		\
   Library/FrechetDeriv.thy Library/Fset.thy Library/FuncSet.thy		\
isabelle