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