Fix dos2unix
Move isomorphism-moving laws to the isomorphisms file