src/HOL/Presburger.thy
changeset 51692 ecd34f863242
parent 49962 a8cc904a6820
child 54227 63b441f49645