author | clasohm |
Tue, 06 Feb 1996 12:42:31 +0100 | |
changeset 1479 | 21eb5e156d91 |
parent 1274 | ea0668a1c0ba |
child 2356 | 125260ef480c |
permissions | -rw-r--r-- |
clasohm@1479 | 1 |
(* Title: HOLCF/HOLCF.thy |
nipkow@243 | 2 |
ID: $Id$ |
clasohm@1479 | 3 |
Author: Franz Regensburger |
nipkow@243 | 4 |
Copyright 1993 Technische Universitaet Muenchen |
nipkow@243 | 5 |
|
nipkow@243 | 6 |
|
nipkow@243 | 7 |
Top theory for HOLCF system |
nipkow@243 | 8 |
|
nipkow@243 | 9 |
*) |
nipkow@243 | 10 |
|
regensbu@1274 | 11 |
HOLCF = Tr2 |
nipkow@243 | 12 |