changeset 11649 | dfb59b9954a6 |
parent 11046 | b5f5942781a0 |
child 12171 | dc87f33db447 |
--- a/src/HOL/Induct/Tree.thy Mon Oct 01 14:47:02 2001 +0200 +++ b/src/HOL/Induct/Tree.thy Mon Oct 01 15:46:35 2001 +0200 @@ -1,7 +1,7 @@ (* Title: HOL/Induct/Tree.thy ID: $Id$ Author: Stefan Berghofer, TU Muenchen - Copyright 1999 TU Muenchen + License: GPL (GNU GENERAL PUBLIC LICENSE) *) header {* Infinitely branching trees *}