Re: [isabelle] A proof for existential

Hi John,

in my previous post, the counter example was no counter example because I had inverted all less signs in my head, but it is easily fixed:

Just take h(x) = if x = 0 then -1 else -2
instead of h(x) = if x = 0 then 1 else 2


Karlsruher Institut für Technologie
IPD Snelting

Andreas Lochbihler
wissenschaftlicher Mitarbeiter
Adenauerring 20a, Gebäude 50.41, Raum 023
76131 Karlsruhe

Telefon: +49 721 608-8352
Fax: +49 721 608-8457
E-Mail: andreas.lochbihler at
KIT - Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft

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