On Thu, 19 Apr 2012, Tobias Nipkow wrote: > Reactions? Postpone discussion until after official rollout of Isabelle2012. There still many things to be sorted out. Makarius