]> matita.cs.unibo.it Git - helm.git/blob - dxpair2_3.etc
projects / helm.git / blob
? search:


77e894dd66550c540c1142d926fe9ec43bf28635
[helm.git] / dxpair2_3.etc
1 notation > "hvbox( L . break ②{ term 46 I } break term 47 T1 )"
2  non associative with precedence 46
3  for @{ 'DxBind2 $L $I $T1 }.
Unnamed repository; edit this file 'description' to name the repository.