dos2unix theories/Modality.v