X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmathql_db_map.txt;fp=helm%2Fmathql_db_map.txt;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=a7e99985c644aa7de90244f4cd9b08e5cafae24c;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/mathql_db_map.txt b/helm/mathql_db_map.txt
deleted file mode 100644
index a7e99985c..000000000
--- a/helm/mathql_db_map.txt
+++ /dev/null
@@ -1,24 +0,0 @@
-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
-            ->