-
Rodolphe Lepigre authored
Obtained with commands: sed -i 's/val_of_Z_is_some/val_of_Z_is_Some/g' **/*.v sed -i 's/val_to_of_int/val_to_of_Z/g' **/*.v
476fe0a6
Obtained with commands: sed -i 's/val_of_Z_is_some/val_of_Z_is_Some/g' **/*.v sed -i 's/val_to_of_int/val_to_of_Z/g' **/*.v