Isabelle2013-1-RC3
bugfix in docmodel
update isabelle doc model and session