changeset 4530 | ac1821645636 |
parent 4089 | 96fba19bcbe2 |
child 5069 | 3ea049f7979d |
4529:21034b090722 | 4530:ac1821645636 |
---|---|
1 (* Title: HOL/IOA/meta_theory/Asig.ML |
1 (* Title: HOL/IOA/Asig.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Tobias Nipkow & Konrad Slind |
3 Author: Tobias Nipkow & Konrad Slind |
4 Copyright 1994 TU Muenchen |
4 Copyright 1994 TU Muenchen |
5 |
5 |
6 Action signatures |
6 Action signatures |