-
Rodolphe Lepigre authored
This was done using the following sed commands (with ZSH ** pattern): > sed -i 's/val_of_int/val_of_Z/g' **/*.v > sed -i 's/val_to_int/val_to_Z/g' **/*.v
8a6281e3
This was done using the following sed commands (with ZSH ** pattern): > sed -i 's/val_of_int/val_of_Z/g' **/*.v > sed -i 's/val_to_int/val_to_Z/g' **/*.v