CookBook/Tactical.thy
changeset 182 4d0e2edd476d
parent 178 fb8f22dd8ad0
child 184 c7f04a008c9c