*To*: Lucas Dixon <lucas.dixon at ed.ac.uk>*Subject*: Re: [isabelle] precedences and orderings*From*: Steven Obua <obua at in.tum.de>*Date*: Tue, 29 Nov 2005 16:08:55 +0100*Cc*: isabelle-users at cl.cam.ac.uk*In-reply-to*: <438C6667.2010204@ed.ac.uk>*References*: <20051128195800.38901.qmail@web32611.mail.mud.yahoo.com> <438C6667.2010204@ed.ac.uk>*User-agent*: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.7.3) Gecko/20040915

consts "a" :: "N => N => N" (infixr [> "="]) consts "b" :: "N => N => N" (infixr [> "a"]) consts "c" :: "N => N => N" (infixr [> "b"]) consts "x" :: "N => N => N" (infixr [< "c"]) in particular, how does "x" relate to "a" and "b"? I suggest that when

Steven

**References**:**[isabelle] real number calculation***From:*Isabelle

**[isabelle] precedences and orderings***From:*Lucas Dixon

- Previous by Date: Re: [isabelle] real number calculation
- Next by Date: Re: [isabelle] Creating new Isar theorem attributes
- Previous by Thread: [isabelle] precedences and orderings
- Next by Thread: Re: [isabelle] real number calculation
- Cl-isabelle-users November 2005 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