# HG changeset patch
# User clasohm
# Date 752418946 -3600
# Node ID 7252e7699e247af615aa0085abb7dabd6797df00
# Parent  30c8e9c380a25bd95d310cd5fcf3f0b4b3b668c2
renamed co_inductive.ML to coinductive.ML

diff -r 30c8e9c380a2 -r 7252e7699e24 src/ZF/Makefile
--- a/src/ZF/Makefile	Thu Nov 04 14:12:31 1993 +0100
+++ b/src/ZF/Makefile	Thu Nov 04 14:15:46 1993 +0100
@@ -21,7 +21,7 @@
 FILES = ROOT.ML zf.thy zf.ML upair.ML subset.ML pair.ML domrange.ML \
 	func.ML simpdata.ML bool.thy bool.ML \
 	sum.thy sum.ML qpair.thy qpair.ML mono.ML fixedpt.thy fixedpt.ML \
-	ind_syntax.ML intr_elim.ML indrule.ML inductive.ML co_inductive.ML \
+	ind_syntax.ML intr_elim.ML indrule.ML inductive.ML coinductive.ML \
 	equalities.ML perm.thy perm.ML trancl.thy trancl.ML \
 	wf.thy wf.ML ord.thy ord.ML nat.thy nat.ML \
 	epsilon.thy epsilon.ML arith.thy arith.ML univ.thy univ.ML \