# HG changeset patch
# User clasohm
# Date 752418751 -3600
# Node ID 30c8e9c380a25bd95d310cd5fcf3f0b4b3b668c2
# Parent  a90653dabebcbe242627c5d304d5ac8d08efc1db
renamed twos-compl.ML to twos_compl.ML

diff -r a90653dabebc -r 30c8e9c380a2 src/ZF/ex/ROOT.ML
--- 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";