thys/recursive.thy
changeset 146 0f52b971cc03
parent 131 e995ae949731