Forked from
Iris / Iris
3636 commits behind the upstream repository.
-
Robbert Krebbers authored
Other heap_lang related instances in that file too. Now, the tactics file only contains stuff related to actual tactics.
Robbert Krebbers authoredOther heap_lang related instances in that file too. Now, the tactics file only contains stuff related to actual tactics.
tactics.v 1.48 KiB