Continued developments up to Separability Lemma [Barendregt 1984, p.254]#1167

Merged

mn200 merged 3 commits intoHOL-Theorem-Prover:developfrom binghe:separability_lemma

Nov 30, 2023

+1,493-199

Commits on Nov 28, 2023

[lambda] developments up to Separability Lemma [Barendregt 1984, p.254]
binghe
committed
Clean up moved contents in boehm_treeTheory (almost empty, not needed)
binghe
committed
Merge remote-tracking branch 'origin/develop' into separability_lemma
binghe
committed