# HG changeset patch
# User paulson
# Date 906124126 -7200
# Node ID 613a42644c2e56e40cc519b275342cb893c4076d
# Parent  da4d0444ea852e8897d085ab451377ce89185ee0
new files in Integ

diff -r da4d0444ea85 -r 613a42644c2e src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Sep 18 14:40:11 1998 +0200
+++ b/src/HOL/IsaMakefile	Fri Sep 18 15:08:46 1998 +0200
@@ -40,10 +40,12 @@
   $(SRC)/TFL/thry.sig $(SRC)/TFL/thry.sml $(SRC)/TFL/usyntax.sig \
   $(SRC)/TFL/usyntax.sml $(SRC)/TFL/utils.sig $(SRC)/TFL/utils.sml \
   Arith.ML Arith.thy Datatype.thy \
-  Divides.ML Divides.thy Finite.ML Finite.thy Fun.ML \
-  Fun.thy Gfp.ML Gfp.thy HOL.ML HOL.thy Inductive.thy Integ/Bin.ML \
-  Integ/Bin.thy Integ/Equiv.ML Integ/Equiv.thy Integ/Integ.ML \
-  Integ/Integ.thy Lfp.ML Lfp.thy List.ML List.thy Main.thy Map.ML Map.thy Nat.ML \
+  Divides.ML Divides.thy Finite.ML Finite.thy Fun.ML Fun.thy \
+  Gfp.ML Gfp.thy HOL.ML HOL.thy Inductive.thy \
+  Integ/Bin.ML Integ/Bin.thy Integ/Equiv.ML Integ/Equiv.thy \
+  Integ/IntDef.ML Integ/IntDef.thy Integ/Integ.ML Integ/Integ.thy \
+  Integ/simproc.ML \
+  Lfp.ML Lfp.thy List.ML List.thy Main.thy Map.ML Map.thy Nat.ML \
   Nat.thy NatDef.ML NatDef.thy Option.ML Option.thy Ord.ML Ord.thy \
   Power.ML Power.thy Prod.ML Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML \
   RelPow.thy Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy \