src/HOL/Wellfounded.thy
changeset 50180 c6626861c31a
parent 49945 fb696ff1f086
child 54295 45a5523d4a63