# HG changeset patch
# User haftmann
# Date 1284105388 -7200
# Node ID 436554f1beaaf0e243e812421bec5ca9743392da
# Parent  d67e8537eae5a090c0b0d66773f2b8ec21af767e
more correct dependencies

diff -r d67e8537eae5 -r 436554f1beaa 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 \