All list "map singleton" lemmas consistently use `singletonM` in their name

I implemented @robbertkrebbers' proposal for naming. This is a breaking change; the following sed script helps port things that work with current master:

s/\blist_singleton_core\b/list_singletonM_core/g
s/\blist_lookup_singleton(|_lt|_gt|_ne)\b/list_lookup_singletonM\1/g
s/\blist_singleton_(validN|length)\b/list_singletonM_\1/g
s/\blist_alter_singleton\b/list_alter_singletonM/g
s/\blist_singleton_included\b/list_singletonM_included/g
s/\blist_singleton_updateP\b/list_singletonM_updateP/
s/\blist_singleton_snoc\b/list_singletonM_snoc/

Fixes #309 (closed)

changed milestone to %Iris 3.3

added 1 commit

• 91b08bc0 - unicode arrow for consistency

Compare with previous version

added 9 commits

• 91b08bc0...77df4b0e - 8 commits from branch master
• 355cb6bb - All list "map singleton" lemmas consistently use `singletonM` in their name

Compare with previous version

added 4 commits

• 355cb6bb...fea0c2de - 3 commits from branch master
• 9833e872 - All list "map singleton" lemmas consistently use `singletonM` in their name

Compare with previous version

The sed script has a \v on the first line; presumably that should be \b?

I don't see a \v? (nor does Ctrl-F)

Ah the one in the commit is fine, it's just the one in the MR description.

changed the description

Ah good point, fixed. Thanks!

LGTM.

mentioned in commit 6b0e19f5

merged

@iris-users this is a breaking change if you are using the list CMRA.