Structure Int_extra


Source File Identifier index Theory binding index

signature Int_extra =
sig
  type int = Arbint.int

  val gcd : int * int -> int
  val lcm : int * int -> int
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-10