| changeset 41589 | bbd861837ebc |
| parent 39758 | b8a53e3a0ee2 |
| child 58249 | 180f1b3508ed |
--- a/src/HOL/MicroJava/J/Value.thy Sun Jan 16 15:31:22 2011 +0100 +++ b/src/HOL/MicroJava/J/Value.thy Sun Jan 16 15:53:03 2011 +0100 @@ -1,7 +1,5 @@ (* Title: HOL/MicroJava/J/Value.thy - ID: $Id$ - Author: David von Oheimb - Copyright 1999 Technische Universitaet Muenchen + Author: David von Oheimb, Technische Universitaet Muenchen *) header {* \isaheader{Java Values} *}