Delete Recursive_Component.thy