recursive.thy
changeset 37 c9b689bb4156
parent 35 839e37b75d9a
equal deleted inserted replaced
36:4b35e0e0784b 37:c9b689bb4156