]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/sql/drop_mowgli_tables.mysql.sql
reorganization continues ...
[helm.git] / helm / metadata / sql / drop_mowgli_tables.mysql.sql
diff --git a/helm/metadata/sql/drop_mowgli_tables.mysql.sql b/helm/metadata/sql/drop_mowgli_tables.mysql.sql
deleted file mode 100644 (file)
index 2cc87e5..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-DROP TABLE refObj;
-DROP TABLE refSort;
-DROP TABLE refRel;
-DROP TABLE objectName;
-DROP TABLE no_inconcl_aux;
-DROP TABLE no_concl_hyp;
-DROP TABLE no_hyp;
-DROP TABLE owners;
-DROP TABLE count;