]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/metadataTypes.mli
added support for hits table
[helm.git] / helm / ocaml / metadata / metadataTypes.mli
index d775fc587ecbda4b0fe6df3dedf531d969eb9879..73f9a703e8625eb659fdbcc1daacf6fb11757dd9 100644 (file)
@@ -73,4 +73,5 @@ val library_rel_tbl:  string
 val library_obj_tbl:  string
 val library_name_tbl:  string
 val library_count_tbl: string
+val library_hits_tbl: string