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