src/HOL/IsaMakefile
changeset 33938 7ed48b28bb7f
parent 33820 082d9bc6992d
child 33972 daf65be6bfe5
     1.1 --- a/src/HOL/IsaMakefile	Sun Nov 29 12:56:30 2009 +1100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Dec 02 17:53:34 2009 +0100
     1.3 @@ -369,6 +369,7 @@
     1.4    Library/Sum_Of_Squares/sos_wrapper.ML					\
     1.5    Library/Sum_Of_Squares/sum_of_squares.ML Library/Fset.thy		\
     1.6    Library/Glbs.thy Library/normarith.ML Library/Executable_Set.thy	\
     1.7 +  Library/Crude_Executable_Set.thy					\
     1.8    Library/Infinite_Set.thy Library/FuncSet.thy				\
     1.9    Library/Permutations.thy Library/Bit.thy Library/FrechetDeriv.thy	\
    1.10    Library/Fraction_Field.thy Library/Fundamental_Theorem_Algebra.thy	\
    1.11 @@ -381,9 +382,9 @@
    1.12    Library/Order_Relation.thy Library/Nested_Environment.thy		\
    1.13    Library/Ramsey.thy Library/Zorn.thy Library/Library/ROOT.ML		\
    1.14    Library/Library/document/root.tex Library/Library/document/root.bib	\
    1.15 -  Library/Transitive_Closure_Table.thy Library/While_Combinator.thy \
    1.16 -  Library/Product_ord.thy	Library/Char_nat.thy \
    1.17 -  Library/Char_ord.thy Library/Option_ord.thy	\
    1.18 +  Library/Transitive_Closure_Table.thy Library/While_Combinator.thy	\
    1.19 +  Library/Product_ord.thy Library/Char_nat.thy				\
    1.20 +  Library/Char_ord.thy Library/Option_ord.thy				\
    1.21    Library/Sublist_Order.thy Library/List_lexord.thy			\
    1.22    Library/Coinductive_List.thy Library/AssocList.thy			\
    1.23    Library/Formal_Power_Series.thy Library/Binomial.thy			\