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.haftm...@informatik.tu-muenchen.de> wrote: > > when searching for theorems, abbreviations may behave surprisingly: > > find_theorems "odd _" -- ‹considerable results› > > find_theorems "odd" -- ‹no results› > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
