Skip to content

GitLab

Merged
Created by Paolo G. Giarrusso@BlaisorbladeContributor

ltac_tactics.v: drop dead branch

Remove dead support for lazy_tc. I still suspect fixing lazy_tc should be investigated.

Edited by Paolo G. Giarrusso