doc-src/TutorialI/Recdef/termination.thy
changeset 24148 2d4ee876c215
parent 19593 c52a4360a41d