> On 27 Dec 2018, at 12:45, Florian Haftmann > <florian.haftm...@informatik.tu-muenchen.de> wrote: > > (I don't know how useful the strict versions less_poll, greater_poll > would be).
Strict versions do turn up in some places (both in HOL Light and Isabelle/ZF) _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
