Skip to content

don't use Loc_None in typed_parse_in_context#1345

Merged
mn200 merged 1 commit intoHOL-Theorem-Prover:developfrom digama0:context_locNov 17, 2024

Commits