src/HOL/IsaMakefile
changeset 7032 d6efb3b8e669
parent 6913 6607f9937146
child 7085 e5a5f8d23f26
     1.1 --- a/src/HOL/IsaMakefile	Mon Jul 19 15:24:35 1999 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Jul 19 15:27:34 1999 +0200
     1.3 @@ -48,7 +48,8 @@
     1.4    Inductive.thy Integ/Bin.ML Integ/Bin.thy Integ/Equiv.ML \
     1.5    Integ/Equiv.thy Integ/IntDef.ML Integ/IntDef.thy \
     1.6    Integ/Int.ML Integ/Int.thy Integ/IntDiv.ML Integ/IntDiv.thy \
     1.7 -  Integ/simproc.ML Lfp.ML Lfp.thy List.ML List.thy \
     1.8 +  Integ/NatBin.ML Integ/NatBin.thy Integ/simproc.ML \
     1.9 +  Lfp.ML Lfp.thy List.ML List.thy \
    1.10    Main.thy Map.ML Map.thy Nat.ML Nat.thy NatDef.ML NatDef.thy \
    1.11    Numeral.thy Option.ML Option.thy Ord.ML Ord.thy Power.ML Power.thy \
    1.12    Prod.ML Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML RelPow.thy \