src/HOL/Wfrec.thy
changeset 67003 49850a679c2c
parent 63572 c0cbfd2b5a45
child 69593 3dda49e08b9d