liamoc.net
my forest
1\date{2025-12-03T06:42:16Z}
2\title{Repeating methods with \code{+}}
3\author{liamoc}
4\import{shiki-macros}
5\put\shiki/language{Isabelle Theory}
6\p{For a method \code{m}:}
7\shiki{apply (m)+}
8\p{Repeatedly applies the \code{m} as many times as possible until it fails. It stops automatically when \code{m} can no longer make progress; and does not backtrack.}