Added a sort function to decide the order of theorems to try in the tactic "auto".

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

DROP TABLE refObj;
DROP TABLE refSort;
DROP TABLE refRel;
DROP TABLE objectName;