On 02/11/17 17:47, Lawrence Paulson wrote: > And I have triple checked that Probability is spelt correctly. Any hints?
Since Isabelle/f27488f47a47 you can use completion there (on the theory
base name).
E.g. "ALi" completes "HOL-Library.AList".
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
