src/HOL/Auth/Message.thy
changeset 29164 0d49c5b55046
parent 28698 b1c4366e1212
child 30510 4120fc59dd85
equal deleted inserted replaced
29163:e72d07a878f8 29164:0d49c5b55046