X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_db_map.txt;h=c58d843d29163b52d03e7cdf117f7e0dc669ec5f;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=60423248c828d8828f72b032264e2be4fafee5b5;hpb=c9c4dfae3c55aa7d7e684cae4266e85a448121dd;p=helm.git

diff --git a/helm/mathql_db_map.txt b/helm/mathql_db_map.txt
index 60423248c..c58d843d2 100644
--- a/helm/mathql_db_map.txt
+++ b/helm/mathql_db_map.txt
@@ -1,24 +1,26 @@
-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
+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
+no_inconcl_aux source    <- 
+no_inconcl_aux no        <- no_inconcl 
 
-backpointer -> refobj
+backPointer -> refObj
             ->