changeset 29138 | 661a8db7e647 |
parent 27419 | ff2a2b8fcd09 |
child 31076 | 99fe356cbbc2 |
29131:fd8bb7527f7b | 29138:661a8db7e647 |
---|---|
1 (* Title: HOLCF/Adm.thy |
1 (* Title: HOLCF/Adm.thy |
2 ID: $Id$ |
|
3 Author: Franz Regensburger and Brian Huffman |
2 Author: Franz Regensburger and Brian Huffman |
4 *) |
3 *) |
5 |
4 |
6 header {* Admissibility and compactness *} |
5 header {* Admissibility and compactness *} |
7 |
6 |