+ (rel
+ (ver "2.1")
+ (old "1.1/arity")
+ (new "aaa")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_bind")
+ (new "aaa_abbr")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_head")
+ (new "aaa_abst")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_appl")
+ (new "aaa_appl")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_cast")
+ (new "aaa_cast")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_gen_bind")
+ (new "aaa_inv_abbr" "aaa_inv_abbr_aux")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_gen_abst")
+ (new "aaa_inv_abst" "aaa_inv_abst_aux")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_gen_appl")
+ (new "aaa_inv_appl" "aaa_inv_appl_aux")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_gen_cast")
+ (new "aaa_inv_cast" "aaa_inv_cast_aux")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_gen_lift")
+ (new "aaa_inv_lift")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_gen_lref")
+ (new "aaa_inv_lref" "aaa_inv_lref_aux")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_gen_sort")
+ (new "aaa_inv_sort" "aaa_inv_sort_aux")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_lift")
+ (new "aaa_lift")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_lift1")
+ (new "aaa_lifts")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_abbr" "1.1/arity_abst")
+ (new "aaa_lref")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_mono")
+ (new "aaa_mono")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/arity_sort")
+ (new "aaa_sort")
+ )