changeset 14981 | e73f8140af78 |
parent 12171 | dc87f33db447 |
child 16078 | e1364521a250 |
--- a/src/HOL/Induct/Tree.thy Sun Jun 20 09:30:12 2004 +0200 +++ b/src/HOL/Induct/Tree.thy Mon Jun 21 10:25:57 2004 +0200 @@ -1,7 +1,6 @@ (* Title: HOL/Induct/Tree.thy ID: $Id$ Author: Stefan Berghofer, TU Muenchen - License: GPL (GNU GENERAL PUBLIC LICENSE) *) header {* Infinitely branching trees *}