thys/Recursive.thy
changeset 282 02b6fab379ba
parent 248 aea02b5a58d2
child 285 447b433b67fa
equal deleted inserted replaced
281:00ac265b251b 282:02b6fab379ba