ocaml 3.09 transition

[helm.git] / helm / metadata / sql / drop_mowgli_tables.sql

DROP TABLE refObj;
DROP TABLE refSort;
DROP TABLE refRel;
DROP TABLE objectName;
DROP TABLE no_inconcl_aux;
DROP TABLE no_concl_hyp;