[isabelle] finding a rule

Dear all,
I'm new to Isabelle and I am about to begin reading some proofs, can any
one tell me how can I find a specific applied rule by its name?

ps: ex: apply(possibility), what is possibility?



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