*To*: uuomul at yahoo.com*Subject*: Re: [isabelle] reasoning about classes of many-sorted structures*From*: Amine Chaieb <ac638 at cam.ac.uk>*Date*: Fri, 20 Feb 2009 14:08:09 +0000*Cc*: cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <106052.93171.qm@web56107.mail.re3.yahoo.com>*References*: <106052.93171.qm@web56107.mail.re3.yahoo.com>*User-agent*: Thunderbird 2.0.0.19 (Macintosh/20081209)

Dear Andrei,

Best wishes, Amine. Andrei Popescu wrote:

Hello,As far as I see, type classes do not allow multiple type variables. Concretely, say Iwant to reason about vector spaces (K,V,+,*,...) without having either of K and V fixed. Is there any elegant way around this?Thank you in advance for any hint,Andrei Popescu

**References**:**[isabelle] reasoning about classes of many-sorted structures***From:*Andrei Popescu

- Previous by Date: [isabelle] Some comments on CONST/\<^const> mechanism in 2008
- Next by Date: Re: [isabelle] reasoning about classes of many-sorted structures
- Previous by Thread: [isabelle] reasoning about classes of many-sorted structures
- Next by Thread: Re: [isabelle] reasoning about classes of many-sorted structures
- Cl-isabelle-users February 2009 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list