Discontinue old saw-core syntax "(x | y)" and "#(a | b)" for pairs.
Discontinue old saw-core syntax "(x | y)" and "#(a | b)" for pairs.

Now use "(x, y)" and "a * b" instead.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script