src/HOL/IsaMakefile
changeset 31990 1d4d0b305f16
parent 31936 9466169dc8e0
child 32139 e271a64f03ff
child 32157 adea7a729c7a
     1.1 --- a/src/HOL/IsaMakefile	Fri Jul 10 07:59:44 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jul 10 09:24:50 2009 +0200
     1.3 @@ -327,7 +327,7 @@
     1.4    Library/Finite_Cartesian_Product.thy \
     1.5    Library/FrechetDeriv.thy Library/Fraction_Field.thy\
     1.6    Library/Fundamental_Theorem_Algebra.thy \
     1.7 -  Library/Inner_Product.thy Library/Lattice_Syntax.thy \
     1.8 +  Library/Inner_Product.thy Library/Kleene_Algebra.thy Library/Lattice_Syntax.thy \
     1.9    Library/Legacy_GCD.thy \
    1.10    Library/Library.thy Library/List_Prefix.thy Library/List_Set.thy Library/State_Monad.thy	\
    1.11    Library/Nat_Int_Bij.thy Library/Multiset.thy Library/Permutation.thy	\
    1.12 @@ -710,7 +710,7 @@
    1.13  
    1.14  HOL-SizeChange: HOL $(LOG)/HOL-SizeChange.gz
    1.15  
    1.16 -$(LOG)/HOL-SizeChange.gz: $(OUT)/HOL SizeChange/Kleene_Algebras.thy	\
    1.17 +$(LOG)/HOL-SizeChange.gz: $(OUT)/HOL Library/Kleene_Algebra.thy	\
    1.18    SizeChange/Graphs.thy SizeChange/Misc_Tools.thy			\
    1.19    SizeChange/Criterion.thy SizeChange/Correctness.thy			\
    1.20    SizeChange/Interpretation.thy SizeChange/Implementation.thy		\