Patch to partially address issue #756 (localize/unlocalize/quick_typecheck3)#757

Merged

andrew-appel merged 2 commits intomasterfrom issue756

Mar 8, 2024

+90-53

Commits on Mar 7, 2024

Patch to partially address issue #756
andrew-appel
committed

Commits on Mar 8, 2024

Brought some 'make all' proofs up to date; has nothing to do with issue #756 , just packaged in the same p.r. for convenience
andrew-appel
committed