author | wenzelm |
Tue, 26 Feb 2002 00:21:31 +0100 | |
changeset 12945 | 95853fbcc718 |
parent 12944 | fa6a3ddec27f |
child 12946 | 75447c743810 |
src/HOL/W0/W0.thy | file | annotate | diff | comparison | revisions |
--- a/src/HOL/W0/W0.thy Tue Feb 26 00:19:04 2002 +0100 +++ b/src/HOL/W0/W0.thy Tue Feb 26 00:21:31 2002 +0100 @@ -1,6 +1,6 @@ (* Title: HOL/W0/W0.thy ID: $Id$ - Author: Dieter Nazareth, Tobias Nipkow, Thomas Stauner, and Markus Wenzel + Author: Dieter Nazareth, Tobias Nipkow, Thomas Stauner, Markus Wenzel License: GPL (GNU GENERAL PUBLIC LICENSE) *)