changeset 3275 | 3f53f2c876f4 |
parent 3071 | 981258186b71 |
child 3434 | ba4f83a24ad8 |
3274:70939b0fadfb | 3275:3f53f2c876f4 |
---|---|
1 (* Title: HOLCF/IOA/meta_theory/IOA.thy |
1 (* Title: HOLCF/IOA/meta_theory/IOA.thy |
2 ID: |
2 ID: $Id$ |
3 Author: Olaf Mueller |
3 Author: Olaf Mueller |
4 Copyright 1996,1997 TU Muenchen |
4 Copyright 1996,1997 TU Muenchen |
5 |
5 |
6 The theory of I/O automata in HOLCF. |
6 The theory of I/O automata in HOLCF. |
7 *) |
7 *) |