1 (* Title: HOLCF/HOLCF.thy
2 ID: $Id$
3 Author: Franz Regensburger
4 Copyright 1993 Technische Universitaet Muenchen
5
6
7 Top theory for HOLCF system
8
9 *)
10
11 HOLCF = Tr2
12
13