]> matita.cs.unibo.it Git - helm.git/blobdiff - mathql/mathql_db_map.txt
moved mathql/ under software/
[helm.git] / mathql / mathql_db_map.txt
diff --git a/mathql/mathql_db_map.txt b/mathql/mathql_db_map.txt
new file mode 100644 (file)
index 0000000..c58d843
--- /dev/null
@@ -0,0 +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
+no_inconcl_aux source    <- 
+no_inconcl_aux no        <- no_inconcl 
+
+backPointer -> refObj
+            ->