no_group_nat_plus.con.body.xml
no_group_nat_plus.con.types.xml
no_inverse_nat_plus.con.body.xml
no_inverse_nat_plus.con.types.xml
no_inverse_nat_plus_subproof.con.body.xml
no_inverse_nat_plus_subproof.con.types.xml