Bring sequence axiomatization more in line with carbon to fix #629#638

Closed

pieter-bos wants to merge 1 commit intoviperproject:masterfrom pieter-bos:seq-skolem-diff

+45-14

Commits on Sep 15, 2022

Bring sequence axiomatization more in line with carbon to fix viperproject#629
Pieter Bos
committed