changeset 4530 | ac1821645636 |
parent 4153 | e534c4c32d54 |
child 4772 | 8c7e7eaffbdf |
4529:21034b090722 | 4530:ac1821645636 |
---|---|
1 (* Title: HOL/IOA/meta_theory/IOA.ML |
1 (* Title: HOL/IOA/IOA.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 The I/O automata of Lynch and Tuttle. |
6 The I/O automata of Lynch and Tuttle. |