Is there any real cost to having so many type classes? Larry On 8 Jul 2011, at 02:13, Brian Huffman wrote:
> The drawback to this design is that it requires yet another type > class, of which we have plenty already. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
