*To*: Peter Lammich <peter.lammich at uni-muenster.de>*Subject*: Re: [isabelle] Problems with linear orders and strings*From*: Andreas Lochbihler <andreas.lochbihler at kit.edu>*Date*: Mon, 21 Mar 2011 13:37:11 +0100*Cc*: USR Isabelle Mailinglist <isabelle-users at cl.cam.ac.uk>, René Thiemann <rene.thiemann at uibk.ac.at>*In-reply-to*: <4D71152A.8060501@uni-muenster.de>*References*: <5A017623-D520-46E6-A9AB-FF49D7C0F025@uibk.ac.at> <4D6D5C79.4000503@informatik.tu-muenchen.de> <F274B8A7-1154-4B50-9DEC-ACE3B8353643@uibk.ac.at> <4D6F69FB.9030501@informatik.tu-muenchen.de> <A0466180-3201-43C9-9789-0C18963E7117@uibk.ac.at> <4D71152A.8060501@uni-muenster.de>*User-agent*: Thunderbird 2.0.0.17 (X11/20080925)

Peter Lammich schrieb:

Unfortunately, the ICF interfaces are currently not parameterizable by the used order, hash-function, equality-operator, ... @Andreas: What was the state of discussion there, is it possible/worth the effort to parameterize?

Andreas -- Karlsruher Institut für Technologie IPD Snelting Andreas Lochbihler wissenschaftlicher Mitarbeiter Adenauerring 20a, Geb. 50.41, Raum 023 76131 Karlsruhe Telefon: +49 721 608-48352 Fax: +49 721 608-48457 E-Mail: andreas.lochbihler at kit.edu http://pp.info.uni-karlsruhe.de

**References**:**[isabelle] Problems with linear orders and strings***From:*René Thiemann

**Re: [isabelle] Problems with linear orders and strings***From:*Florian Haftmann

**Re: [isabelle] Problems with linear orders and strings***From:*René Thiemann

**Re: [isabelle] Problems with linear orders and strings***From:*Florian Haftmann

**Re: [isabelle] Problems with linear orders and strings***From:*René Thiemann

**Re: [isabelle] Problems with linear orders and strings***From:*Peter Lammich

- Previous by Date: [isabelle] Isabelle wants you for the Google Summer of Code 2011
- Next by Date: [isabelle] real_vector
- Previous by Thread: Re: [isabelle] Problems with linear orders and strings
- Next by Thread: [isabelle] new AFP entry: LightweightJava
- Cl-isabelle-users March 2011 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