[isabelle-dev] Interpretation in arbitrary targets.

Joachim Breitner breitner at kit.edu
Wed Apr 24 20:29:02 CEST 2013


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!


Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
-------------- 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>

More information about the isabelle-dev mailing list