[isabelle-dev] typrep?

Gerwin Klein gerwin.klein at nicta.com.au
Tue Jan 20 21:51:55 CET 2009

Tobias Nipkow wrote:
> What are these automatically-generated class instances?
> And yes, if even experienced users like Amine are confused, we have a
> problem.

I agree. I wouldn't want to have to explain this to undergrad students.


More information about the isabelle-dev mailing list