• Robbert Krebbers's avatar
    Renaming in prelude/list. · ddf8ef49
    Robbert Krebbers authored
    Rename:
    
    - prefix_of -> prefix and suffix_of -> suffix because that saves keystrokes
      in lemma names. However, keep the infix notations with l1 `prefix_of` l2 and
      l1 `suffix_of` l2 because those are easier to read.
    - change the notation l1 `sublist` l2 into l1 `sublist_of` l2 to be consistent.
    - rename contains -> submseteq and use the notation ⊆+
    ddf8ef49
Name
Last commit
Last update
..
base.v Loading commit data...
bset.v Loading commit data...
coPset.v Loading commit data...
collections.v Loading commit data...
countable.v Loading commit data...
decidable.v Loading commit data...
fin_collections.v Loading commit data...
fin_map_dom.v Loading commit data...
fin_maps.v Loading commit data...
finite.v Loading commit data...
functions.v Loading commit data...
gmap.v Loading commit data...
gmultiset.v Loading commit data...
hashset.v Loading commit data...
hlist.v Loading commit data...
lexico.v Loading commit data...
list.v Loading commit data...
listset.v Loading commit data...
listset_nodup.v Loading commit data...
mapset.v Loading commit data...
natmap.v Loading commit data...
nmap.v Loading commit data...
numbers.v Loading commit data...
option.v Loading commit data...
orders.v Loading commit data...
pmap.v Loading commit data...
prelude.v Loading commit data...
pretty.v Loading commit data...
proof_irrel.v Loading commit data...
relations.v Loading commit data...
set.v Loading commit data...
sorting.v Loading commit data...
streams.v Loading commit data...
stringmap.v Loading commit data...
strings.v Loading commit data...
tactics.v Loading commit data...
vector.v Loading commit data...
zmap.v Loading commit data...