src/Pure/System/system_channel.ML
changeset 66787 64b47495676d
parent 62501 98fa1f9a292f
child 69440 eaf66384cfe8
equal deleted inserted replaced
66786:61617dafcd60 66787:64b47495676d