# HG changeset patch
# User haftmann
# Date 1216646783 -7200
# Node ID 558ceab467e15ba93aa90e361691f8dae6f0473d
# Parent  f938cd3fa820b6bf0903d8a74920d37008ebb39d
(adjusted)

diff -r f938cd3fa820 -r 558ceab467e1 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Jul 21 13:37:14 2008 +0200
+++ b/src/HOL/IsaMakefile	Mon Jul 21 15:26:23 2008 +0200
@@ -201,7 +201,6 @@
   IntDiv.thy \
   int_factor_simprocs.ML \
   Int.thy \
-  Library/Abstract_Rat.thy \
   Library/Dense_Linear_Order.thy \
   Library/GCD.thy \
   Library/Order_Relation.thy \
@@ -279,6 +278,7 @@
 HOL-Library: HOL $(LOG)/HOL-Library.gz
 
 $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/SetsAndFunctions.thy		\
+  Library/Abstract_Rat.thy \
   Library/BigO.thy Library/Ramsey.thy Library/Efficient_Nat.thy		\
   Library/Executable_Set.thy Library/Infinite_Set.thy			\
   Library/FuncSet.thy			\