1 (* Title: HOLCF/Fun2.thy
2 ID: $Id$
3 Author: Franz Regensburger
4 Copyright 1993 Technische Universitaet Muenchen
5
6 Class Instance =>::(term,po)po
7 *)
8
9 Fun2 = Fun1 +
10
11 (* default class is still term !*)
12
13 instance fun :: (term,po)po (refl_less_fun,antisym_less_fun,trans_less_fun)
14
15 end
16
17
18
19
20
21
22
23