src/HOL/Wellfounded.thy
changeset 29332 edc1e2a56398
parent 29125 d41182a8135c
child 29580 117b88da143c