src/HOL/IsaMakefile
changeset 31706 1db0c8f235fb
parent 31604 eb2f9d709296
child 31719 29f5b20e8ee8
child 31723 f5cafe803b55
     1.1 --- a/src/HOL/IsaMakefile	Tue Jun 16 22:07:39 2009 -0700
     1.2 +++ b/src/HOL/IsaMakefile	Wed Jun 17 16:55:01 2009 -0700
     1.3 @@ -284,6 +284,7 @@
     1.4    Ln.thy \
     1.5    Log.thy \
     1.6    MacLaurin.thy \
     1.7 +  NatTransfer.thy \
     1.8    NthRoot.thy \
     1.9    SEQ.thy \
    1.10    Series.thy \
    1.11 @@ -300,6 +301,7 @@
    1.12    Real.thy \
    1.13    RealVector.thy \
    1.14    Tools/float_syntax.ML \
    1.15 +  Tools/transfer_data.ML \
    1.16    Tools/Qelim/ferrante_rackoff_data.ML \
    1.17    Tools/Qelim/ferrante_rackoff.ML \
    1.18    Tools/Qelim/langford_data.ML \
    1.19 @@ -325,6 +327,7 @@
    1.20    Library/FrechetDeriv.thy \
    1.21    Library/Fundamental_Theorem_Algebra.thy \
    1.22    Library/Inner_Product.thy Library/Lattice_Syntax.thy \
    1.23 +  Library/Legacy_GCD.thy \
    1.24    Library/Library.thy Library/List_Prefix.thy Library/State_Monad.thy	\
    1.25    Library/Nat_Int_Bij.thy Library/Multiset.thy Library/Permutation.thy	\
    1.26    Library/Primes.thy Library/Pocklington.thy Library/Quotient.thy	\