Structure hhReconstruct

Source File	Identifier index	Theory binding index

signature hhReconstruct =
sig

  include Abbrev
  val minimize_flag : bool ref
  val reconstruct   : (string * string) -> term -> unit
  val reconstructl  : (string * string) list -> term -> unit

end

Source File	Identifier index	Theory binding index

HOL 4, Kananaskis-11