[isabelle] answer to my own question



I did some grepping in the source code, and realised that I need to use TVar rather than TFree, when constructing an inclass term.

Michael.





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