recursive.thy
changeset 82 c470f1705baa
parent 35 839e37b75d9a
equal deleted inserted replaced
81:2e9881578cb2 82:c470f1705baa