Update and rename 0100-01-03-dissprop.md to 0100-01-03-abstract.md