Structure Type


Source File Identifier index Theory binding index

signature Type =
sig

  include FinalType where type hol_type = KernelTypes.hol_type

end;





Source File Identifier index Theory binding index

HOL 4, Kananaskis-10