src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Thu Sep 09 20:58:46 2010 +0200
+++ b/src/HOL/IsaMakefile	Fri Sep 10 09:56:28 2010 +0200
@@ -162,7 +162,6 @@
   Power.thy \
   Predicate.thy \
   Product_Type.thy \
-  Record.thy \
   Relation.thy \
   Rings.thy \
   SAT.thy \
@@ -254,6 +253,7 @@
   Random.thy \
   Random_Sequence.thy \
   Recdef.thy \
+  Record.thy \
   Refute.thy \
   Semiring_Normalization.thy \
   SetInterval.thy \