*To*: Lars Noschinski <noschinl at in.tum.de>*Subject*: Re: [isabelle] Inequalities on real numbers: How to use "(x::real) > 0 --> x >= 0"?*From*: Christoph LANGE <c.lange at cs.bham.ac.uk>*Date*: Fri, 10 Aug 2012 14:29:10 +0200*Cc*: cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <5024F7FC.4040505@in.tum.de>*Organization*: University of Birmingham*References*: <5024ABB2.8010900@cs.bham.ac.uk> <CAAMXsiayP7z=SKiXA3bhQ0iav_AMqdJDEU+itHRTKTgOMGZs-w@mail.gmail.com> <5024DD89.3010508@cs.bham.ac.uk> <1344594145.1841.79.camel@macbroy12.informatik.tu-muenchen.de> <5024EF67.9040308@cs.bham.ac.uk> <5024F165.8030401@in.tum.de> <5024F7FC.4040505@in.tum.de>*User-agent*: Mozilla/5.0 (X11; Linux x86_64; rv:14.0) Gecko/20120720 Thunderbird/14.0

2012-08-10 14:01 Lars Noschinski:

Christoph: Searching for text in these pdf manual is not reliable; for example "fi" is turned into an fi-ligature (a single character), so it does not turn up when searching for fi (two characters), at least for some pdf readers.

It is far more reliable to look into the index at the end of the reference manual.

Uh – I hope I won't eventually have to _print_ the manual ;-) Cheers, Christoph -- Christoph Lange, School of Computer Science, University of Birmingham http://cs.bham.ac.uk/~langec, Skype duke4701 → Building & Exploring Web Based Environments. Seville, Spain, 27 Jan– 1 Feb 2013. Deadline 2 Sep. http://iaria.org/conferences2013/WEB13.html

**References**:**[isabelle] Inequalities on real numbers: How to use "(x::real) > 0 --> x >= 0"?***From:*Christoph LANGE

**Re: [isabelle] Inequalities on real numbers: How to use "(x::real) > 0 --> x >= 0"?***From:*Brian Huffman

**Re: [isabelle] Inequalities on real numbers: How to use "(x::real) > 0 --> x >= 0"?***From:*Christoph LANGE

**Re: [isabelle] Inequalities on real numbers: How to use "(x::real) > 0 --> x >= 0"?***From:*Johannes Hölzl

**Re: [isabelle] Inequalities on real numbers: How to use "(x::real) > 0 --> x >= 0"?***From:*Christoph LANGE

**Re: [isabelle] Inequalities on real numbers: How to use "(x::real) > 0 --> x >= 0"?***From:*Tobias Nipkow

**Re: [isabelle] Inequalities on real numbers: How to use "(x::real) > 0 --> x >= 0"?***From:*Lars Noschinski

- Previous by Date: Re: [isabelle] Inequalities on real numbers: How to use "(x::real) > 0 --> x >= 0"?
- Next by Date: Re: [isabelle] Inequalities on real numbers: How to use "(x::real) > 0 --> x >= 0"?
- Previous by Thread: Re: [isabelle] Inequalities on real numbers: How to use "(x::real) > 0 --> x >= 0"?
- Next by Thread: Re: [isabelle] Inequalities on real numbers: How to use "(x::real) > 0 --> x >= 0"?
- Cl-isabelle-users August 2012 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