Revert "added def.txt"

This reverts commit ed77a45307eca6eaa0854f9912461430ca599bc3.