]> matita.cs.unibo.it Git - helm.git/blob - helm/software/mathql/mathql_db_map.txt
Added problems from CASC 208
[helm.git] / helm / software / mathql / mathql_db_map.txt
1 objectName  source       <+ 
2 objectName  value        <- objectName 
3 refObj                   <- refObj
4 refObj      source       <- 
5 refObj      h_occurrence <- refObj      h:occurrence
6 refObj      h_position   <- refObj      h:position
7 refObj      h_depth      <- refObj      h:depth
8 refRel                   <- refRel
9 refRel      source       <- 
10 refRel      h_position   <- refRel      h:position
11 refRel      h_depth      <- refRel      h:depth
12 refSort                  <- refSort
13 refSort     source       <- 
14 refSort     h_sort       <- refSort     h:sort
15 refSort     h_position   <- refSort     h:position
16 refSort     h_depth      <- refSort     h:depth
17 backPointer              <- backPointer
18 backPointer source       <- backPointer h:occurrence
19 backPointer h_occurrence <- 
20 backPointer h_position   <- backPointer h:position
21 backPointer h_depth      <- backPointer h:depth
22 no_inconcl_aux source    <- 
23 no_inconcl_aux no        <- no_inconcl 
24
25 backPointer -> refObj
26             ->