Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Renaming of Integ/Integ.* to Integ/Int.*
authorpaulson
Fri, 25 Sep 1998 14:04:22 +0200
changeset 5564 f16de69b7c0c
parent 5563 228b92552d1f
child 5565 301a3a4d3dc7
Renaming of Integ/Integ.* to Integ/Int.*
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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 \
isabelle