Delete Rec_Comp.thy