[isabelle-dev] Interpretation in arbitrary targets.

[Joachim Breitner]

Hi,

Am Mittwoch, den 24.04.2013, 19:16 +0200 schrieb Florian Haftmann:
> This is a great triumph of the »local everything« approach.

I’m not sure that I understand all that is going on, but I have the
feeling that the theory that I’m working on will greatly benefit from
your development, and I’m looking forward to Isabelle 2013-2 (or 2014).
So thanks in advance from my side!

Greetings,
Joachim

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130424/e8b189be/attachment.sig>