CookBook/Tactical.thy
changeset 180 9c25418db6f0
parent 178 fb8f22dd8ad0
child 184 c7f04a008c9c
equal deleted inserted replaced
179:75381fa516cd 180:9c25418db6f0