[isabelle] Find theorems



Hello,

In starting to switch my theories over to Isabelle2008, I ran into an unexpected behavior of the "find theorems" command: It can't find any theorems matching just "pred", but finds lots of theorems matching "Int.pred".

Is this because the constant "pred" has been hidden? If so, is there a way to have the find theorems command include hidden constants too?

Thanks,
-john





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