changeset 3275 | 3f53f2c876f4 |
parent 3071 | 981258186b71 |
child 3433 | 2de17c994071 |
--- a/src/HOLCF/IOA/meta_theory/Asig.thy Wed May 21 11:27:32 1997 +0200 +++ b/src/HOLCF/IOA/meta_theory/Asig.thy Wed May 21 15:08:52 1997 +0200 @@ -1,7 +1,7 @@ (* Title: HOL/IOA/meta_theory/Asig.thy ID: $Id$ - Author: Tobias Nipkow & Konrad Slind - Copyright 1994 TU Muenchen + Author: Olaf Mueller, Tobias Nipkow & Konrad Slind + Copyright 1994, 1996 TU Muenchen Action signatures *)