Replace resalgebra with resalgebraNoAxioms#44

jcp19 merged 2 commits into

mainviperproject/gobra-libs:mainfrom

replace-resalgebraviperproject/gobra-libs:replace-resalgebraCopy head branch name to clipboard