src/HOL/Library/Debug.thy
changeset 57637 eeb2d50ec71f
parent 52435 6646bb548c6b
child 58881 b9556a055632