1 2 3 4 5 6
#!/usr/bin/perl -pi s/\bList\b/CoqList/g; s/\bString\b/CoqString/g; s/^open Int$/open CoqInt/;