Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
renamed twos-compl.ML to twos_compl.ML
authorclasohm
Thu, 04 Nov 1993 14:12:31 +0100
changeset 91 30c8e9c380a2
parent 90 a90653dabebc
child 92 7252e7699e24
renamed twos-compl.ML to twos_compl.ML
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";
isabelle