| author | wenzelm |
| Thu Aug 27 20:46:36 1998 +0200 (1998-08-27) | |
| changeset 5400 | 645f46a24c72 |
| parent 2640 | ee4dfce170a0 |
| child 12026 | 0b1d80ada4ab |
| permissions | -rw-r--r-- |
| slotosch@2640 | 1 |
(* Title: HOLCF/Lift.thy |
| slotosch@2640 | 2 |
ID: $Id$ |
| slotosch@2640 | 3 |
Author: Oscar Slotosch |
| slotosch@2640 | 4 |
Copyright 1997 Technische Universitaet Muenchen |
| slotosch@2640 | 5 |
*) |
| slotosch@2640 | 6 |
|
| slotosch@2640 | 7 |
Lift = Lift3 + |
| slotosch@2640 | 8 |
|
| slotosch@2640 | 9 |
instance lift :: (term)flat (ax_flat_lift) |
| slotosch@2640 | 10 |
|
| slotosch@2640 | 11 |
default pcpo |
| slotosch@2640 | 12 |
|
| slotosch@2640 | 13 |
end |
| slotosch@2640 | 14 |
|
| slotosch@2640 | 15 |
|
| slotosch@2640 | 16 |