On 08/20/2011 07:34 PM, Andreas Schropp wrote:
On 08/20/2011 01:18 AM, Florian Haftmann wrote:
In the long run, I would prefer to see flexible transport
machinery to move stuff between isomorphic types.
What is a different – and in itself valuable – thing is the matter of
»transport« mentioned by Alex, something which also I am eager to see
one day.
I'll just be blunt: would someone in Munich be interested
to supervise a diploma thesis on the matter?
In case isabelle-dev is wondering: the locals are interested
and my optimism about this could not be higher, now that
I have written up the rule system I had in mind and still
don't see any problems.
Cheers,
Andy
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev