author | clasohm |
Thu, 04 Nov 1993 14:12:31 +0100 | |
changeset 91 | 30c8e9c380a2 |
parent 90 | a90653dabebc |
child 92 | 7252e7699e24 |
src/ZF/ex/ROOT.ML | file | annotate | diff | comparison | revisions |
--- 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";