src/HOL/Presburger.thy
changeset 31488 5691ccb8d6b5
parent 30686 47a32dd1b86e
child 31790 05c92381363c