Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] unsuscribe

view this post on Zulip Email Gateway (Oct 20 2022 at 10:28):

From: Paqui Lucio <paqui.lucio@ehu.es>
Please, could you unsubscribe me from this list?

Thanks,

Paqui

Paqui Lucio

Dpto de Lenguajes y Sistemas Informáticos

Facultad de Informática

Paseo Manuel de Lardizabal, 1

20018-San Sebastián

SPAIN

e-mail: <mailto:paqui.lucio@ehu.es> paqui.lucio@ehu.es

Tfn: (+34) (9)43 015049

Fax: (+34) (9)43 015590

Web: <http://www.sc.ehu.es/paqui> http://www.sc.ehu.es/paqui

Last updated: Feb 05 2025 at 16:23 UTC