os_rc.thy
changeset 20 928c015eb03e
parent 6 4294abb1f38c
child 21 17ea9ad46257
equal deleted inserted replaced
19:c3517b281164 20:928c015eb03e