os_rc.thy
changeset 7 64b14b35454e
parent 6 4294abb1f38c
child 21 17ea9ad46257
equal deleted inserted replaced
6:4294abb1f38c 7:64b14b35454e