recursive.thy
changeset 44 2f765afc1f7e
parent 35 839e37b75d9a
equal deleted inserted replaced
43:a8785fa80278 44:2f765afc1f7e