src/HOL/ex/Reflected_Presburger.thy
changeset 26265 4b63b9e9b10d
parent 25592 e8ddaf6bf5df
child 26934 c1ae80a58341