X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_db_map.txt;fp=helm%2Fmathql_db_map.txt;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=33db1f0c8a4c39f6b0d9feb5be28c2bd22f4123e;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/mathql_db_map.txt b/helm/mathql_db_map.txt
deleted file mode 100644
index 33db1f0c8..000000000
--- a/helm/mathql_db_map.txt
+++ /dev/null
@@ -1,26 +0,0 @@
-dbname=mowgli user=helm
-
-objectname  source       <+ 
-objectname  value        <- objectName 
-refobj                   <- refObj
-refobj      source       <- 
-refobj      h_occurrence <- refObj      h:occurrence
-refobj      h_position   <- refObj      h:position
-refobj      h_depth      <- refObj      h:depth
-refrel                   <- refRel
-refrel      source       <- 
-refrel      h_position   <- refRel      h:position
-refrel      h_depth      <- refRel      h:depth
-refsort                  <- refSort
-refsort     source       <- 
-refsort     h_sort       <- refSort     h:sort
-refsort     h_position   <- refSort     h:position
-refsort     h_depth      <- refSort     h:depth
-backpointer              <- backPointer
-backpointer source       <- backPointer h:occurrence
-backpointer h_occurrence <- 
-backpointer h_position   <- backPointer h:position
-backpointer h_depth      <- backPointer h:depth
-
-backpointer -> refobj
-            ->