Skip to content
GitLab
Explore
Sign in
Iris
Actris
Repository
actris
theories
examples
sort_elem.v
Find file
Blame
History
Permalink
Revert "Make list_sort_elem prog fork a little less eagerly."
· d485c7d7
Robbert Krebbers
authored
Jul 06, 2019
This reverts commit
8bf5d63b
.
d485c7d7