changeset 12858 | 6214f03d6d27 |
parent 12857 | a4386cc9b1c3 |
child 13688 | a0b16d42d489 |
--- a/src/HOL/Bali/Value.thy Mon Jan 28 18:50:23 2002 +0100 +++ b/src/HOL/Bali/Value.thy Mon Jan 28 18:51:48 2002 +0100 @@ -1,7 +1,7 @@ (* Title: HOL/Bali/Value.thy ID: $Id$ Author: David von Oheimb - Copyright 1997 Technische Universitaet Muenchen + License: GPL (GNU GENERAL PUBLIC LICENSE) *) header {* Java values *}