thys/Recursive.thy
changeset 241 e59e549e6ab6
parent 240 696081f445c2
child 248 aea02b5a58d2