More unified judgment type and All_local_env#1007
Merged
mattam82 merged 6 commits intoMetaCoq:coq-8.17from Yann-Leray:rejudgmentDec 19, 2023
+11,855-12,894
Commits
Commits on Dec 15, 2023
- committed
- committed
- committed
- committed
- committed
Commits on Dec 16, 2023
- committed