Structure res_quanTools


Source File Identifier index Theory binding index

(* res_quanTools.sig - This signature is deprecated. Use res_quanLib. *)

signature res_quanTools =
sig
  include res_quanLib
end


Source File Identifier index Theory binding index

HOL 4, Kananaskis-14