On Wed, 6 Aug 2014, Aleksy Schubert wrote:
[apologies for cross posting]
-----------------------------------------------------------------------
RDP 2015 Call for Workshops
(Rewriting, Deduction, and Programming, June-July 2015, Warsaw, Poland)
-----------------------------------------------------------------------
Two notes:
(1) Cross-posting between isabelle-dev and isabelle-users does not make
any sense, since isabelle-dev is a proper subset of isabelle-users
(more or less).
(2) Posting workshop / conference announcements on isabelle-dev does not
make any sense according to the semantics of the mailing list.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
