[isabelle-dev] the new "imports" semantics

Makarius makarius at sketis.net
Thu Nov 2 18:21:37 CET 2017

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".


More information about the isabelle-dev mailing list