Why not ask the Isabelle community if such users are out there? Clemens 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;