[isabelle-dev] the new "imports" semantics

[Makarius]

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