Theory Ordinal

(*  Title:       Countable Ordinals

    Author:      Brian Huffman, 2005
    Maintainer:  Brian Huffman <brianh at cse.ogi.edu>
*)
(*<*)
theory Ordinal
imports OrdinalVeblen
begin
end
(*>*)