src/HOL/Log.thy
changeset 39072 1030b1a166ef
parent 36777 be5461582d0f
child 41550 efa734d9b221