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-3