Attic/rec_def.thy
changeset 180 8f443f2ed1f6
parent 127 469c26d19f8e
equal deleted inserted replaced
179:650e7a7a389b 180:8f443f2ed1f6