maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: "Francesco Bongiovanni" <bongiovanni AT gmail.com>
- To: andrea.vandin AT imtlucca.it,maude-help AT lists.cs.illinois.edu
- Subject: Re: [[Maude-help] ] Sorting in a (Kirchner) rewriting style
- Date: Tue, 03 May 2016 06:09:48 -0500
Grande Andrea !!!
Grazie tanto !
Works like a charm :)
Tkx again !
- Francesco
- [[Maude-help] ] Sorting in a (Kirchner) rewriting style, Francesco Bongiovanni, 05/03/2016
- Re: [[Maude-help] ] Sorting in a (Kirchner) rewriting style, andrea.vandin AT imtlucca.it IMT, 05/03/2016
- Re: [[Maude-help] ] Sorting in a (Kirchner) rewriting style, Francesco Bongiovanni, 05/03/2016
- Re: [[Maude-help] ] Sorting in a (Kirchner) rewriting style, andrea.vandin AT imtlucca.it IMT, 05/03/2016
Archive powered by MHonArc 2.6.16.