more correct dependencies
authorhaftmann
Fri, 10 Sep 2010 09:56:28 +0200
changeset 39271 436554f1beaa
parent 39270 d67e8537eae5
child 39272 0b61951d2682
more correct dependencies
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 \