1.1 --- a/src/HOL/IsaMakefile Fri May 15 16:39:19 2009 +0200
1.2 +++ b/src/HOL/IsaMakefile Fri May 15 16:52:28 2009 +0200
1.3 @@ -294,6 +294,8 @@
1.4 RealPow.thy \
1.5 Real.thy \
1.6 RealVector.thy \
1.7 + Library/Random.thy \
1.8 + Library/Quickcheck.thy \
1.9 Tools/float_syntax.ML \
1.10 Tools/Qelim/ferrante_rackoff_data.ML \
1.11 Tools/Qelim/ferrante_rackoff.ML \
1.12 @@ -338,7 +340,6 @@
1.13 Library/Mapping.thy Library/Numeral_Type.thy Library/Reflection.thy \
1.14 Library/Boolean_Algebra.thy Library/Countable.thy \
1.15 Library/Diagonalize.thy Library/RBT.thy Library/Univ_Poly.thy \
1.16 - Library/Random.thy Library/Quickcheck.thy \
1.17 Library/Poly_Deriv.thy \
1.18 Library/Polynomial.thy \
1.19 Library/Preorder.thy \