Improved support of mutually (recursive) nominal datatypes#1421

Open

binghe wants to merge 2 commits intoHOL-Theorem-Prover:developfrom binghe:nomdatatype_and_pi

+856-19

Commits on Mar 7, 2025

Improved support of mutually (recursive) nominal datatypes; pi-calculus (as a sample application).
binghe
committed
Fixed selftests; Add missing Holmakefiles (and build entries)
binghe
committed