src/HOL/Log.thy
changeset 45231 d85a2fdc586c
parent 41550 efa734d9b221
child 45892 8dcf6692433f