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