changeset 41589 | bbd861837ebc |
parent 36866 | 426d5781bb25 |
child 42018 | 878f33040280 |
--- a/src/HOL/TLA/Memory/MemClerkParameters.thy Sun Jan 16 15:31:22 2011 +0100 +++ b/src/HOL/TLA/Memory/MemClerkParameters.thy Sun Jan 16 15:53:03 2011 +0100 @@ -1,8 +1,5 @@ -(* - File: MemClerkParameters.thy - ID: $Id$ - Author: Stephan Merz - Copyright: 1997 University of Munich +(* Title: HOL/TLA/Memory/MemClerkParameters.thy + Author: Stephan Merz, University of Munich *) header {* RPC-Memory example: Parameters of the memory clerk *}