Add built-in natural numbers to Subst category#101

Open

rokopt wants to merge 5 commits intomainfrom terence/built-in-nat

+488-9

Commits on May 7, 2023

Fix reversed arguments in SHigherIfElse

rokopt
authored and
mariari
committed
Relocate soConst

rokopt
authored and
mariari
committed
Add proof of uniqueness of terms of NonZero

rokopt
authored and
mariari
committed
Relocate SubstBool definition

rokopt
authored and
mariari
committed
Add built-in natural numbers to Subst category

rokopt
authored and
mariari
committed