Structure holTheory

Source File	Identifier index	Theory binding index

signature holTheory =
sig
  type thm = Thm.thm
(*
   [indexedLists] Parent theory of "hol"
   
   [patternMatches] Parent theory of "hol"
   
   
*)
end

Source File	Identifier index	Theory binding index

HOL 4, Trindemossen-2