Hello.
I created a test workflow 2013 in VS 2013, while adding this workflow to the project I selected document library for it and also selected pre-created tasks and history lists.
I deployed the worklow from VS project menu, then started it manually in the library, worflow completed successfully.
After it I called "Retract" from VS project menu, it completed without errors, but teh workflow stayed in library. Then I deployed it again, went to the library workflow settings, removed the workflow, retracted it again using VS project menu.
But, now when I go to library - workflow setings - add workflow, I still can see there my workflow option (though the solution is retracted and feature is removed from site collection).
What should I do to remove it?