changeset 12859 | f63315dfffd4 |
parent 12857 | a4386cc9b1c3 |
child 12925 | 99131847fb93 |
--- a/src/HOL/Bali/AxExample.thy Mon Jan 28 18:51:48 2002 +0100 +++ b/src/HOL/Bali/AxExample.thy Mon Jan 28 23:35:20 2002 +0100 @@ -1,7 +1,7 @@ (* Title: HOL/Bali/AxExample.thy ID: $Id$ Author: David von Oheimb - Copyright 2000 Technische Universitaet Muenchen + License: GPL (GNU GENERAL PUBLIC LICENSE) *) header {* Example of a proof based on the Bali axiomatic semantics *}