renamed some files
authorclasohm
Fri, 22 Oct 1993 13:44:27 +0100
changeset 76 c616d66c640e
parent 75 144ec40f2650
child 77 c94c8ebc0b15
renamed some files
src/ZF/ex/ROOT.ML
--- a/src/ZF/ex/ROOT.ML	Fri Oct 22 13:43:45 1993 +0100
+++ b/src/ZF/ex/ROOT.ML	Fri Oct 22 13:44:27 1993 +0100
@@ -41,18 +41,18 @@
 time_use     "ex/rmap.ML";
 (*completeness of propositional logic*)
 time_use     "ex/prop.ML";
-time_use_thy "ex/propthms";
+time_use_thy "ex/proplog";
 (*two Coq examples by Ch. Paulin-Mohring*)
 time_use     "ex/listn.ML";
 time_use     "ex/acc.ML";
 (*Diamond property for combinatory logic*)
 time_use     "ex/comb.ML";
-time_use_thy "ex/contract";
+time_use_thy "ex/contract0";
 time_use     "ex/parcontract.ML";
-time_use_thy "ex/primrec";
+time_use_thy "ex/primrec0";
 
 (** Co-Datatypes **)
-time_use     "ex/llist.ML";
+time_use_thy "ex/LList";
 time_use     "ex/llist_eq.ML";
 time_use_thy "ex/llistfn";