--- a/src/HOL/IsaMakefile Fri May 15 16:52:28 2009 +0200
+++ b/src/HOL/IsaMakefile Sat May 16 20:16:49 2009 +0200
@@ -206,6 +206,7 @@
MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \
ATP_Linkup.thy \
Code_Eval.thy \
+ Code_Index.thy \
Equiv_Relations.thy \
Groebner_Basis.thy \
Hilbert_Choice.thy \
@@ -286,16 +287,16 @@
Transcendental.thy \
GCD.thy \
Parity.thy \
+ Quickcheck.thy \
Lubs.thy \
PReal.thy \
+ Random.thy \
Rational.thy \
RComplete.thy \
RealDef.thy \
RealPow.thy \
Real.thy \
RealVector.thy \
- Library/Random.thy \
- Library/Quickcheck.thy \
Tools/float_syntax.ML \
Tools/Qelim/ferrante_rackoff_data.ML \
Tools/Qelim/ferrante_rackoff.ML \
@@ -335,7 +336,7 @@
Library/comm_ring.ML Library/Coinductive_List.thy \
Library/AssocList.thy Library/Formal_Power_Series.thy \
Library/Binomial.thy Library/Eval_Witness.thy \
- Library/Code_Index.thy Library/Code_Char.thy \
+ Library/Code_Char.thy \
Library/Code_Char_chr.thy Library/Code_Integer.thy \
Library/Mapping.thy Library/Numeral_Type.thy Library/Reflection.thy \
Library/Boolean_Algebra.thy Library/Countable.thy \