changeset 42151 | 4da4fc77664b |
parent 41437 | 5bc117c382ec |
child 44066 | d74182c93f04 |
42150:b0c0638c4aad | 42151:4da4fc77664b |
---|---|
1 (* Title: HOLCF/ex/Domain_Proofs.thy |
1 (* Title: HOL/HOLCF/ex/Domain_Proofs.thy |
2 Author: Brian Huffman |
2 Author: Brian Huffman |
3 *) |
3 *) |
4 |
4 |
5 header {* Internal domain package proofs done manually *} |
5 header {* Internal domain package proofs done manually *} |
6 |
6 |