Skip to content
Snippets Groups Projects
Commit 9d2e6d60 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Also fix `elem_of_list` → `list_elem_of` inconsistency.

parent 44d3349c
No related branches found
No related tags found
2 merge requests!532Provide "lookup" and commuting lemmas as equations that always apply, and fix some inconsistent lemma naming,!531Fix inconsistencies in `lookup` and `elem_of` lemmas for `list`
This commit is part of merge request !532. Comments created here will be created in the context of that merge request.
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 268 additions and 235 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment