src/HOL/Nitpick.thy
changeset 58306 117ba6cbe414
parent 58152 6fe60a9a5bad
child 58310 91ea607a34d8