| changeset 4530 | ac1821645636 |
| parent 3842 | b55686a7b22c |
| child 11482 | ec2c382ff4f0 |
| 4529:21034b090722 | 4530:ac1821645636 |
|---|---|
1 (* Title: HOL/IOA/meta_theory/IOA.thy |
1 (* Title: HOL/IOA/IOA.thy |
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. |