Structure Sol_ranges


Source File Identifier index Theory binding index

signature Sol_ranges =
sig
  type int = Arbint.int

  val Shostak : (int * (string * int) list) list -> (string * int) list
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14