This was done using sed --in-place 's/[[:space:]]\+$//' theories/*.v.
sed --in-place 's/[[:space:]]\+$//' theories/*.v
This was done using `sed --in-place 's/[[:space:]]\+$//' theories/*.v`.
