[isabelle] overloaded defs



Hello,

  How do I find the actual constant an overloaded constant refers to?
Eg.

read "(A::bool set) <= (B :: bool set)";
val it =
Const ("op <=", "bool set => bool set => bool") $ Free ("A", "bool set") $
      Free ("B", "bool set") : Term.term

How do I find that "op <=" means "subset"?

Thanks,

Sean





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