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. Cheers, Gerwin
