Disallow asserting expressions in axioms#858

marcoeilers merged 1 commit into

masterviperproject/silver:masterfrom

meilers_disallow_asserting_in_axiomsviperproject/silver:meilers_disallow_asserting_in_axiomsCopy head branch name to clipboard