[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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and