src/HOL/ex/Termination.thy
changeset 57978 8f4a332500e4
parent 47836 471cc845430b
child 58249 180f1b3508ed