changeset 12218 | 6597093b77e7 |
parent 7661 | 8c3190b173aa |
child 14981 | e73f8140af78 |
--- a/src/HOLCF/IOA/meta_theory/Asig.thy Thu Nov 15 23:25:01 2001 +0100 +++ b/src/HOLCF/IOA/meta_theory/Asig.thy Thu Nov 15 23:25:46 2001 +0100 @@ -1,9 +1,9 @@ (* Title: HOL/IOA/meta_theory/Asig.thy ID: $Id$ - Author: Olaf Mueller, Tobias Nipkow & Konrad Slind - Copyright 1994, 1996 TU Muenchen + Author: Olaf Müller, Tobias Nipkow & Konrad Slind + License: GPL (GNU GENERAL PUBLIC LICENSE) -Action signatures +Action signatures. *) Asig = Main +