changeset 16070 | 4a83dd540b88 |
parent 15741 | 29a78517543f |
child 16121 | a80aa66d2271 |
1.1 --- a/src/HOLCF/Domain.thy Wed May 25 09:04:24 2005 +0200 1.2 +++ b/src/HOLCF/Domain.thy Wed May 25 09:44:34 2005 +0200 1.3 @@ -1,7 +1,6 @@ 1.4 (* Title: HOLCF/Domain.thy 1.5 ID: $Id$ 1.6 Author: Brian Huffman 1.7 - License: GPL (GNU GENERAL PUBLIC LICENSE) 1.8 *) 1.9 1.10 header {* Domain package *}