Delete Framed_Links.thy