doc-src/TutorialI/Recdef/termination.thy
changeset 44962 5554ed48b13f
parent 19593 c52a4360a41d
equal deleted inserted replaced
44961:5b8d39b1360e 44962:5554ed48b13f