Structure isqrtLib


Source File Identifier index Theory binding index

signature isqrtLib =
sig
   val iSQRT_COMPUTE_CONV: Conv.conv
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-10