copilot-theorem: Fix examples so they will compile with the current version of copilot-theorem. Refs #692.#723

chathhorn-galois wants to merge 2 commits intoCopilot-Language:masterCopilot-Language/copilot:masterfrom

GaloisInc:chathhorn/issue692GaloisInc/copilot-1:chathhorn/issue692Copy head branch name to clipboard