I agree! Larry On 2 Dec 2010, at 14:44, Brian Huffman wrote:
> Besides these two very specific cases, I think it would be best to > reject definitions with extra type variables on the right-hand side. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
