]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql_db_map.txt
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / mathql_db_map.txt
diff --git a/helm/mathql_db_map.txt b/helm/mathql_db_map.txt
deleted file mode 100644 (file)
index a7e9998..0000000
+++ /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
-            ->