[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?

Regards

--
Najma






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