src/HOL/IsaMakefile
changeset 5564 f16de69b7c0c
parent 5503 613a42644c2e
child 5605 e86700ddc7d4
     1.1 --- a/src/HOL/IsaMakefile	Fri Sep 25 13:58:24 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Sep 25 14:04:22 1998 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4    Divides.ML Divides.thy Finite.ML Finite.thy Fun.ML Fun.thy \
     1.5    Gfp.ML Gfp.thy HOL.ML HOL.thy Inductive.thy \
     1.6    Integ/Bin.ML Integ/Bin.thy Integ/Equiv.ML Integ/Equiv.thy \
     1.7 -  Integ/IntDef.ML Integ/IntDef.thy Integ/Integ.ML Integ/Integ.thy \
     1.8 +  Integ/IntDef.ML Integ/IntDef.thy Integ/Int.ML Integ/Int.thy \
     1.9    Integ/simproc.ML \
    1.10    Lfp.ML Lfp.thy List.ML List.thy Main.thy Map.ML Map.thy Nat.ML \
    1.11    Nat.thy NatDef.ML NatDef.thy Option.ML Option.thy Ord.ML Ord.thy \