changeset 41589 | bbd861837ebc |
parent 26342 | 0f65fa163304 |
child 42769 | 053b4b487085 |
--- a/src/HOL/TLA/Inc/Inc.thy Sun Jan 16 15:31:22 2011 +0100 +++ b/src/HOL/TLA/Inc/Inc.thy Sun Jan 16 15:53:03 2011 +0100 @@ -1,8 +1,5 @@ -(* - File: TLA/Inc/Inc.thy - ID: $Id$ - Author: Stephan Merz - Copyright: 1997 University of Munich +(* Title: HOL/TLA/Inc/Inc.thy + Author: Stephan Merz, University of Munich *) header {* Lamport's "increment" example *}