munge option for disabling type abbrevs in terms \HOLtm#1024
Draft
dwRchyngqxs wants to merge 4 commits intoHOL-Theorem-Prover:developfrom dwRchyngqxs:untyabbrev
+81-116
Commits
Commits on Apr 13, 2022
- committed
dwRchyngqxs - committeddwRchyngqxs
- committeddwRchyngqxs
- committeddwRchyngqxs