Isabelle2011 --> 2012 intermediate

Made paths absolute wrt ~~, which probably will be shortened later again.
'isabelle usedir -b HOL Isac' successfully creates a heap;
still no 'thehier' created in 'Knowledge/Build_Thydata.thy',
because these are not required by the math-engine.

 theory Trig imports Real begin

 ML {*"test"*}

 end