add dependency on Limits.thy
authorhuffman
Mon Jun 01 07:45:49 2009 -0700 (2009-06-01)
changeset 31352b3b534f06c2d
parent 31350 f20a61cec3d4
child 31353 14a58e2ca374
add dependency on Limits.thy
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Sun May 31 22:00:56 2009 -0700
     1.2 +++ b/src/HOL/IsaMakefile	Mon Jun 01 07:45:49 2009 -0700
     1.3 @@ -280,6 +280,7 @@
     1.4    Fact.thy \
     1.5    Integration.thy \
     1.6    Lim.thy \
     1.7 +  Limits.thy \
     1.8    Ln.thy \
     1.9    Log.thy \
    1.10    MacLaurin.thy \