changeset 49322 | fbb320d02420 |
parent 48985 | 5386df44a037 |
child 51717 | 9e7d1c139569 |
--- a/src/Doc/Tutorial/Protocol/Message.thy Wed Sep 12 13:21:33 2012 +0200 +++ b/src/Doc/Tutorial/Protocol/Message.thy Wed Sep 12 13:42:28 2012 +0200 @@ -1,5 +1,4 @@ -(* Title: HOL/Auth/Message - Author: Lawrence C Paulson, Cambridge University Computer Laboratory +(* Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1996 University of Cambridge Datatypes of agents and messages;