[isabelle] attributes associated with a lemma/theorem



Is it possible to print all the attributes that are currently set for a given theorem? I only found `print_attributes', but that doesn't take any argument, does it?

cheers

christian





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