coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Yves Bertot <Yves.Bertot AT sophia.inria.fr>
- Cc: "Theodoros G. Tsokos" <T.Tsokos AT cs.bham.ac.uk>, coq-club AT pauillac.inria.fr
- Subject: Re: [Coq-Club] string comparison
- Date: Thu, 17 Jan 2008 09:41:51 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
There was an error in my previous message:
string_eq_bool_reflect : string_eq_bool x y <-> x = y
should be :
string_eq_bool_reflect : string_eq_bool x y = true <-> x = y
- [Coq-Club] string comparison, Theodoros G. Tsokos
- Re: [Coq-Club] string comparison, Andrew McCreight
- Re: [Coq-Club] string comparison, Frédéric Besson
- Re: [Coq-Club] string comparison,
Yves Bertot
- Re: [Coq-Club] string comparison, Yves Bertot
- Re: [Coq-Club] string comparison,
Theodoros G. Tsokos
- Re: [Coq-Club] string comparison, Yves Bertot
- Re: [Coq-Club] string comparison, Benjamin Werner
Archive powered by MhonArc 2.6.16.