Remove hackish autounfoldify now that hintdb can be bound to Ltac variables.
Remove hackish autounfoldify now that hintdb can be bound to Ltac variables.

It will be possible to replace any call to 'autounfoldify x' with 'autounfold with x'.

ejgallego/coq,JasonGross/coq,ejgallego/coq,letouzey/coq-wip,Matafou/coq,gares/coq,JasonGross/coq,Ptival/coq,maximedenes/coq,maximedenes/coq,Zimmi48/coq,SkySkimmer/coq,william-lawvere/coq,maximedenes/coq,coq/coq,gares/coq,Ptival/coq,ppedrot/coq,JasonGross/coq,coq/coq,ejgallego/coq,JasonGross/coq,gares/coq,Zimmi48/coq,letouzey/coq-wip,amintimany/coq,letouzey/coq-wip,ppedrot/coq,Zimmi48/coq,silene/coq,letouzey/coq-wip,Matafou/coq,william-lawvere/coq,SkySkimmer/coq,SkySkimmer/coq,ejgallego/coq,silene/coq,Lionel-Rieg/coq,ppedrot/coq,william-lawvere/coq,ppedrot/coq,ppedrot/coq,coq/coq,amintimany/coq,amintimany/coq,coq/coq,gares/coq,gares/coq,maximedenes/coq,Lionel-Rieg/coq,Ptival/coq,maximedenes/coq,letouzey/coq-wip,SkySkimmer/coq,Zimmi48/coq,Lionel-Rieg/coq,Matafou/coq,silene/coq