src/HOL/ex/Transfer_Debug.thy
2015-10-09 kuncar 2015-10-09 add a file with examples of debugging transfer