[isabelle-dev] position of Hilbert_Choice in the HOL theory hierarchy

Clemens Ballarin ballarin at in.tum.de
Fri Sep 14 16:29:45 CEST 2007

Why not ask the Isabelle community if such users are out there?


On 14 Sep 2007, at 12:32, Lawrence Paulson wrote:

> However, I don't know of anybody who has
> actually taken advantage of the AC-free part;

More information about the isabelle-dev mailing list