src/HOL/Wfrec.thy
changeset 67022 49309fe530fd
parent 63572 c0cbfd2b5a45
child 69593 3dda49e08b9d