Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
refinedc
theories
typing
automation.v
Find file
Blame
History
Permalink
Revert "add unfold_let_goal_tac"
· 6596ccd1
Michael Sammler
authored
Nov 24, 2021
This reverts commit
9159a9c7
.
6596ccd1