# HG changeset patch
# User clasohm
# Date 750344620 -3600
# Node ID d1b8c98e4f81cea8bda1f0c4cb377724201c0914
# Parent  5c66481a7e9064a0da3b0fe6767d43110e95d9de
renamed ordinal.thy to ord.thy

diff -r 5c66481a7e90 -r d1b8c98e4f81 src/ZF/Makefile
--- a/src/ZF/Makefile	Mon Oct 11 14:00:53 1993 +0100
+++ b/src/ZF/Makefile	Mon Oct 11 14:03:40 1993 +0100
@@ -23,7 +23,7 @@
 	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 \
 	equalities.ML perm.thy perm.ML trancl.thy trancl.ML \
-	wf.thy wf.ML ordinal.thy ord.ML nat.thy nat.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 \
 	quniv.thy quniv.ML constructor.ML datatype.ML  \
 	fin.ML list.ML listfn.thy listfn.ML