OBSOLETE

Refer to the AFP entry for Autoref! https://www.isa-afp.org/entries/Automatic_Refinement.html