|
1274
|
1 |
(*
|
|
|
2 |
ID: $Id$
|
|
|
3 |
Author: Franz Regensburger
|
|
|
4 |
Copyright 1995 Technische Universitaet Muenchen
|
|
|
5 |
|
|
|
6 |
*)
|
|
|
7 |
|
|
|
8 |
The files contained in this directory are examples for the
|
|
|
9 |
explicit construction of domains. The technique used is described
|
|
|
10 |
in the thesis
|
|
|
11 |
|
|
|
12 |
HOLCF: Eine konservative Erweiterung von HOL um LCF
|
|
|
13 |
|
|
|
14 |
The thesis is available via the web using URL
|
|
|
15 |
|
|
|
16 |
http://www4.informatik.tu-muenchen.de/~regensbu/papers.html
|
|
|
17 |
|
|
|
18 |
|
|
|
19 |
The same construction is automatically performed if you use the
|
|
|
20 |
type definition package of David Oheimb. See subdirectory HOLCF/domains
|
|
|
21 |
for more details.
|
|
|
22 |
|