src/HOL/IOA/Solve.thy
changeset 23024 70435ffe077d
parent 19801 b2af2549efd1
child 26342 0f65fa163304