-
Robbert Krebbers authored
Other heap_lang related instances in that file too. Now, the tactics file only contains stuff related to actual tactics.
8897df8d
Other heap_lang related instances in that file too. Now, the tactics file only contains stuff related to actual tactics.