src/HOL/Wellfounded_Relations.thy
changeset 21404 eb85850d3eb7
parent 19769 c40ce2de2020
child 22261 9e185f78e7d4