more results of terms having head normal forms (`has_hnf`)#1150

Merged

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

Oct 4, 2023

+202-51

Commits on Oct 3, 2023

[examples/lambda] more results of terms having head normal forms (has_hnf)
binghe
committed
[examples/lambda] generalized "abs_betastar" (using -b->* instead of ==)
binghe
committed

Commits on Oct 4, 2023

Improved hnf_appstar and abs_betastar, etc. after code review @mn200
binghe
committed