[isabelle-dev] Abbreviations and find_theorems

[Lawrence Paulson]

I had no idea that abbreviations ever worked here. Of course it would be nice if they did.
Larry

> On 15 Nov 2014, at 16:58, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> 
> when searching for theorems, abbreviations may behave surprisingly:
> 
> 	find_theorems "odd _" -- ‹considerable results›
> 
> 	find_theorems "odd" -- ‹no results›
>