coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Marko Malikovi� <marko AT ffri.hr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Test
- Date: Sat, 30 Oct 2010 13:56:20 +0200 (CEST)
- Importance: Normal
I apologize but there is something wrong with my account-om the Coq list
so I have to do a test.
Thank you for your understanding
Marko Malikoviæ
-----------------------
Dr. Sc. Marko Malikoviæ
Filozofski fakultet
Sveuèili¹te u Rijeci
---------------------
Ph.D. Marko Malikoviæ
Faculty of Arts and Sciences
University of Rijeka, Croatia
-----------------------------
- [Coq-Club] Test, Marko Malikoviæ
Archive powered by MhonArc 2.6.16.