[isabelle-dev] Damn

Makarius makarius at sketis.net
Sat Oct 29 15:52:28 CEST 2016

On 29/10/16 15:42, Lawrence Paulson wrote:
> A bit like the EU-Canada treaty and the Wallonian Parliament.

Lets hope Europe makes it at last, and gets rid of these dangerous and
non-sensical "Free Trade" agreements.

Here is an overview of the > 2000 communities and regions that have
rejected TTIP / CETA / TISA already: https://www.ttip-free-zones.eu

The difference is that Wallonie managed to block it formally, not just


More information about the isabelle-dev mailing list