[isabelle] Multiple type variables in class specification



Hi all,

Is there a way to use several type variables in a class specification. For
example:

class test =
 fixes foo :: "('a => 'b => 'c) => 'a itself => bool"

With the above, Isabelle complains about having multiple type variables.

Thanks!

Steve




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.