[isabelle] Finding a rule

Friends -

I use Isabelle/Isar with ProofGeneral, and I feel sure that at one time I knew how to find all of the rules/theorems that matched a certain goal. I can no longer figure out how to do this. Can somebody help me out? I'm sure that I'll feel really stupid when I get the answer, but that's OK.

Isabelle 2005, ProofGeneral 3.6pre051004, xemacs 21.4 (patch 17), MacOS 10.4.4.

- John

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