changeset 12218 | 6597093b77e7 |
parent 12114 | a8e860c86252 |
child 12338 | de0f4a63baa5 |
--- a/src/HOLCF/IOA/meta_theory/Sequence.thy Thu Nov 15 23:25:01 2001 +0100 +++ b/src/HOLCF/IOA/meta_theory/Sequence.thy Thu Nov 15 23:25:46 2001 +0100 @@ -1,10 +1,9 @@ (* Title: HOLCF/IOA/meta_theory/Sequence.thy ID: $Id$ - Author: Olaf M"uller - Copyright 1996 TU Muenchen + Author: Olaf Müller + License: GPL (GNU GENERAL PUBLIC LICENSE) -Sequences over flat domains with lifted elements - +Sequences over flat domains with lifted elements. *) Sequence = Seq +