copilot-theorem: Translate quantifiers correctly in Kind2 backend. Refs #594.#610

ivanperez-keera merged 3 commits intoCopilot-Language:masterCopilot-Language/copilot:masterfrom

GaloisInc:develop-kind2-respect-quantifiers-T594GaloisInc/copilot-1:develop-kind2-respect-quantifiers-T594Copy head branch name to clipboard