renamed some files
authorclasohm
Thu Nov 04 14:11:59 1993 +0100 (1993-11-04)
changeset 90a90653dabebc
parent 89 2fee1120cb3e
child 91 30c8e9c380a2
renamed some files
src/ZF/Makefile
src/ZF/ROOT.ML
     1.1 --- a/src/ZF/Makefile	Thu Nov 04 10:34:49 1993 +0100
     1.2 +++ b/src/ZF/Makefile	Thu Nov 04 14:11:59 1993 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4  FILES = ROOT.ML zf.thy zf.ML upair.ML subset.ML pair.ML domrange.ML \
     1.5  	func.ML simpdata.ML bool.thy bool.ML \
     1.6  	sum.thy sum.ML qpair.thy qpair.ML mono.ML fixedpt.thy fixedpt.ML \
     1.7 -	ind-syntax.ML intr-elim.ML indrule.ML inductive.ML co-inductive.ML \
     1.8 +	ind_syntax.ML intr_elim.ML indrule.ML inductive.ML co_inductive.ML \
     1.9  	equalities.ML perm.thy perm.ML trancl.thy trancl.ML \
    1.10  	wf.thy wf.ML ord.thy ord.ML nat.thy nat.ML \
    1.11  	epsilon.thy epsilon.ML arith.thy arith.ML univ.thy univ.ML \
     2.1 --- a/src/ZF/ROOT.ML	Thu Nov 04 10:34:49 1993 +0100
     2.2 +++ b/src/ZF/ROOT.ML	Thu Nov 04 14:11:59 1993 +0100
     2.3 @@ -47,11 +47,11 @@
     2.4  use_thy "fixedpt";
     2.5  
     2.6  (*Inductive/co-inductive definitions*)
     2.7 -use     "ind-syntax.ML";
     2.8 -use     "intr-elim.ML";
     2.9 +use     "ind_syntax.ML";
    2.10 +use     "intr_elim.ML";
    2.11  use     "indrule.ML";
    2.12  use     "inductive.ML";
    2.13 -use     "co-inductive.ML";
    2.14 +use     "coinductive.ML";
    2.15  
    2.16  use_thy "perm";
    2.17  use_thy "trancl";