src/HOL/ex/Termination.thy
changeset 51085 d90218288d51
parent 47836 471cc845430b
child 58249 180f1b3508ed
equal deleted inserted replaced
51084:cbae5c5ffd23 51085:d90218288d51