src/HOL/Library/Debug.thy
changeset 68189 6163c90694ef
parent 61585 a9599d3d7610