1 (* Title: HOLCF/Up2.thy
2 ID: $Id$
3 Author: Franz Regensburger
4 Copyright 1993 Technische Universitaet Muenchen
5
6 Class Instance u::(pcpo)po
7
8 *)
9
10 Up2 = Up1 +
11
12 instance u :: (pcpo)po (refl_less_up,antisym_less_up,trans_less_up)
13
14 end
15
16
17