Commit 2020-02-05 14:27 08581ccc

feat(tactic/rename): Add improved renaming tactic (#1916)

• feat(tactic/rename): Add improved renaming tactic We add a tactic rename' which works like rename, with the following improvements:
• Multiple hypotheses can be renamed at once.
• Renaming always preserve the position of a hypothesis in the context.
• Move private def drop_until_inclusive to list.after
• Change rename' docs to rely less on knowledge of rename
• Improve formatting of list.after docs