thys/Recursive.thy
changeset 213 30d81499766b
parent 204 e55c8e5da49f
child 229 d8e6f0798e23
equal deleted inserted replaced
212:203d50aebb1c 213:30d81499766b