Structure res_quanLib


Source File Identifier index Theory binding index

signature res_quanLib =
sig

  include res_quanTools

end;


Source File Identifier index Theory binding index

HOL 4, Kananaskis-10