[isabelle-dev] adhoc overloading

Makarius makarius at sketis.net
Wed Aug 7 16:03:33 CEST 2013


On Tue, 6 Aug 2013, Christian Sternagel wrote:

> Please find attached a file containing all my changes.

OK, this is now at Isabelle/73e32ed924b3 and a few changes before.


 	Makarius



More information about the isabelle-dev mailing list