src/HOL/IsaMakefile
changeset 34020 2573c794034c
parent 33972 daf65be6bfe5
child 34028 1e6206763036
     1.1 --- a/src/HOL/IsaMakefile	Mon Dec 07 09:21:14 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Dec 07 14:54:01 2009 +0100
     1.3 @@ -369,7 +369,6 @@
     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	\