| author | wenzelm |
| Thu Aug 27 20:46:36 1998 +0200 (1998-08-27) | |
| changeset 5400 | 645f46a24c72 |
| parent 3327 | 9b8e638f8602 |
| child 12030 | 46d57d0290a2 |
| 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 |
|
| slotosch@3327 | 11 |
HOLCF = Sprod3 + Ssum3 + Up3 + Lift + Discrete + One + Tr |