src/HOL/Wellfounded.thy
changeset 82265 4b875a4c83b0
parent 82058 46b21e6b64b2
child 82241 3f70b283bea9