Structure bitLib


Source File Identifier index Theory binding index

signature bitLib =
sig
    val add_bit_compset : computeLib.compset -> unit
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14