| changeset 3275 | 3f53f2c876f4 |
| parent 3071 | 981258186b71 |
| child 3433 | 2de17c994071 |
| 3274:70939b0fadfb | 3275:3f53f2c876f4 |
|---|---|
1 (* Title: HOLCF/IOA/meta_theory/RefCorrectness.thy |
1 (* Title: HOLCF/IOA/meta_theory/RefCorrectness.thy |
2 ID: $$ |
2 ID: $Id$ |
3 Author: Olaf Mueller |
3 Author: Olaf Mueller |
4 Copyright 1996 TU Muenchen |
4 Copyright 1996 TU Muenchen |
5 |
5 |
6 Correctness of Refinement Mappings in HOLCF/IOA |
6 Correctness of Refinement Mappings in HOLCF/IOA |
7 *) |
7 *) |