src/HOL/Integ/Presburger.thy
changeset 18851 9502ce541f01
parent 18202 46af82efd311
child 20051 859e7129961b