Attic/recursive.thy
changeset 245 af60d84e0677
parent 127 469c26d19f8e
equal deleted inserted replaced
244:8dba6ae39bf0 245:af60d84e0677