split share_V2 in Dict: 'divide' and 'have in common'

This commit is contained in:
inari
2014-06-12 09:51:52 +00:00
parent b349e54917
commit 38341cbc95
3 changed files with 7 additions and 1 deletions

View File

@@ -51901,6 +51901,8 @@ fun shard_N : N ;
fun share_N : N ;
fun share_V : V ;
fun share_V2 : V2 ;
fun share_1_V2 : V2 ;
fun share_2_V2 : V2 ;
fun share_out_N : N ;
fun share_out_V : V ;
fun sharecropper_N : N ;