src/HOL/Wellfounded.thy
changeset 66787 64b47495676d
parent 64632 9df24b8b6c0a
child 66952 80985b62029d