changeset 91 | 30c8e9c380a2 |
parent 76 | c616d66c640e |
child 95 | 2246a80b1cb5 |
--- a/src/ZF/ex/ROOT.ML Thu Nov 04 14:11:59 1993 +0100 +++ b/src/ZF/ex/ROOT.ML Thu Nov 04 14:12:31 1993 +0100 @@ -18,7 +18,7 @@ time_use_thy "ex/equiv"; time_use_thy "ex/integ"; (*Binary integer arithmetic*) -use "ex/twos-compl.ML"; +use "ex/twos_compl.ML"; time_use "ex/bin.ML"; time_use_thy "ex/binfn";