src/Doc/Functions/Functions.thy
changeset 65178 c4def7e9cfad
parent 61419 3c3f8b182e4b
child 67406 23307fd33906
equal deleted inserted replaced
65170:53675f36820d 65178:c4def7e9cfad