src/HOL/ex/BinEx.thy
changeset 26265 4b63b9e9b10d
parent 20807 bd3b60f9a343
child 28952 15a4b2cf8c34