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