Structure SHA1


Source File Identifier index Theory binding index

signature SHA1 =
sig

  include SHA1_ML
  (* includes a sha1_file entrypoint :
      sha1_file : {filename:string} -> string
  *)

end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14