On Tue, 16 Sep 2014, Makarius wrote:

On Fri, 5 Sep 2014, Jasmin Christian Blanchette wrote:

 I would like to propose either replacing the old mechanism by the new one
 or having both live in parallel in "Pure". It is certainly not perfect,
 but it is IMO an improvement over the statu quo. What do you think?

I still need to catch up with this important thread, but I am presently not well-connected. I will come back later, when I have studied the situation carefully.

I have picked up this old thread, and started to rework the old Haftmann-Wenzel version wrt. the new Blanchette version. Stay tuned ...


        Makarius

----------------------------------------------------------------------------
                              http://stop-ttip.org
----------------------------------------------------------------------------
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to