src/HOL/IsaMakefile
changeset 31060 75d7c7cc8bdb
parent 31055 2cf6efca6c71
child 31068 f591144b0f17
     1.1 --- a/src/HOL/IsaMakefile	Thu May 07 12:02:16 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu May 07 12:17:17 2009 +0200
     1.3 @@ -342,6 +342,7 @@
     1.4    Library/Random.thy Library/Quickcheck.thy	\
     1.5    Library/Poly_Deriv.thy \
     1.6    Library/Polynomial.thy \
     1.7 +  Library/Preorder.thy \
     1.8    Library/Product_plus.thy \
     1.9    Library/Product_Vector.thy \
    1.10    Library/Enum.thy Library/Float.thy $(SRC)/Tools/float.ML $(SRC)/HOL/Tools/float_arith.ML \