Structure CoreKernel


Source File Identifier index Theory binding index

signature CoreKernel = sig
  structure Tag  : FinalTag
  structure Type : FinalType
  structure Term : FinalTerm        where type hol_type = Type.hol_type

  structure Thm  : FinalThm         where type hol_type = Type.hol_type
                                      and type term     = Term.term
                                      and type tag      = Tag.tag

  structure Net : Net               where type term = Term.term

end;


Source File Identifier index Theory binding index

HOL 4, Kananaskis-10