thys/Rec_Def.thy
changeset 264 bc2df9620f26
parent 248 aea02b5a58d2
child 288 a9003e6d0463