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