Re: [isabelle] Basic help with class and instantiation



I haven't looked at your problem in detail, but this sounds like a type problem. Try "using [show_types]" before the failing proof step. "show_sorts" and "show_consts" might also be useful. 


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