Delete Comp.thy