src/HOL/Log.thy
changeset 50999 3de230ed0547
parent 50346 a75c6429c3c3
child 51478 270b21f3ae0a