# HG changeset patch
# User paulson
# Date 906725062 -7200
# Node ID f16de69b7c0cf6175df708e0057ef4448866decf
# Parent  228b92552d1f2f9632d766b8fb712284d6925627
Renaming of Integ/Integ.* to Integ/Int.*

diff -r 228b92552d1f -r f16de69b7c0c src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Sep 25 13:58:24 1998 +0200
+++ b/src/HOL/IsaMakefile	Fri Sep 25 14:04:22 1998 +0200
@@ -43,7 +43,7 @@
   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/IntDef.ML Integ/IntDef.thy Integ/Int.ML Integ/Int.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 \