# HG changeset patch
# User huffman
# Date 1243867549 25200
# Node ID b3b534f06c2d472a9d68a18f364ef1618d0c19f7
# Parent  f20a61cec3d409a2c793d7da4439b58cee1b3fb2
add dependency on Limits.thy

diff -r f20a61cec3d4 -r b3b534f06c2d src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sun May 31 22:00:56 2009 -0700
+++ b/src/HOL/IsaMakefile	Mon Jun 01 07:45:49 2009 -0700
@@ -280,6 +280,7 @@
   Fact.thy \
   Integration.thy \
   Lim.thy \
+  Limits.thy \
   Ln.thy \
   Log.thy \
   MacLaurin.thy \