Structure ASCIInumbersLib


Source File Identifier index Theory binding index

signature ASCIInumbersLib =
sig
   val add_ASCIInumbers_compset : computeLib.compset -> unit
     (* on base of listLib.list_compset(),
        requires
            stringLib.add_string_compset cs;
            numposrepLib.add_numposrep_compset cs;
            bitLib.add_bit_compset cs;
     *)


end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-13