Re: [isabelle] Basic help with class and instantiation



Am 14.08.2012 um 05:34 schrieb Lars Noschinski:

> I haven't looked at your problem in detail, but this sounds like a type problem. Try "using [show_types]"

Or rather "using [[show_types]]", with two layers of brackets.

> before the failing proof step. "show_sorts" and "show_consts" might also be useful.

Jasmin






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.