+ (rel
+ (ver "2.1")
+ (old "1.1/lift_gen_bind")
+ (new "lift_inv_bind2" "lift_inv_bind2_aux")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/lift_gen_flat")
+ (new "lift_inv_flat2" "lift_inv_flat2_aux")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/lift_gen_lref")
+ (new "lift_inv_lref2" "lift_inv_lref2_aux")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/lift_gen_lref_false")
+ (new "lift_inv_lref2_be")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/lift_gen_lref_ge")
+ (new "lift_inv_lref2_ge")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/lift_gen_lref_lt")
+ (new "lift_inv_lref2_lt")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/thead_x_lift_y_y")
+ (new "lift_inv_pair_xy_y")
+ )
+ (rel
+ (ver "2.1")
+ (old "1.1/lift_gen_sort")
+ (new "lift_inv_sort2" "lift_inv_sort2_aux")
+ )