author clasohm

Mon, 11 Oct 1993 13:58:22 +0100

changeset 50 37e93ef9c756

parent 49 c78503b345c4

child 51 5c66481a7e90

src/ZF/ROOT.ML file | annotate | diff | comparison | revisions
     1.1 --- a/src/ZF/ROOT.ML	Mon Oct 11 12:35:00 1993 +0100
     1.2 +++ b/src/ZF/ROOT.ML	Mon Oct 11 13:58:22 1993 +0100
     1.3 @@ -54,7 +54,7 @@
     1.4  use_thy "perm";
     1.5  use_thy "trancl";
     1.6  use_thy "wf";
     1.7 -use_thy "ordinal";
     1.8 +use_thy "ord";
     1.9  use_thy "nat";
    1.10  use_thy "epsilon";
    1.11  use_thy "arith";