| changeset 35174 | e15040ae75d7 |
| parent 32152 | 53716a67c3b1 |
| child 36176 | 3fe7e97ccca8 |
| 35170:bb1d1c6a10bb | 35174:e15040ae75d7 |
|---|---|
1 (* Title: HOLCF/IOA/meta_theory/Automata.thy |
1 (* Title: HOLCF/IOA/meta_theory/Automata.thy |
2 ID: $Id$ |
|
3 Author: Olaf Müller, Konrad Slind, Tobias Nipkow |
2 Author: Olaf Müller, Konrad Slind, Tobias Nipkow |
4 *) |
3 *) |
5 |
4 |
6 header {* The I/O automata of Lynch and Tuttle in HOLCF *} |
5 header {* The I/O automata of Lynch and Tuttle in HOLCF *} |
7 |
6 |