src/Pure/tctical.ML
changeset 189 831a9a7ab9f3
parent 67 8380bc0adde7
child 230 ec8a2b6aa8a7
equal deleted inserted replaced
188:6be0856cdf49 189:831a9a7ab9f3