changeset 35174 | e15040ae75d7 |
parent 25135 | 4f8176c940cf |
35170:bb1d1c6a10bb | 35174:e15040ae75d7 |
---|---|
1 (* Title: HOL/IOA/meta_theory/Asig.thy |
1 (* Title: HOL/IOA/meta_theory/Asig.thy |
2 ID: $Id$ |
|
3 Author: Olaf Müller, Tobias Nipkow & Konrad Slind |
2 Author: Olaf Müller, Tobias Nipkow & Konrad Slind |
4 *) |
3 *) |
5 |
4 |
6 header {* Action signatures *} |
5 header {* Action signatures *} |
7 |
6 |