intermed. usecase Diophant

term2str changed output for unknown reason, eg. test/../integrate.sml
"Integral 1 / EI *\n (L * q_0 / 2 * x + -1 * q_0 / 2 * x ^^^ 2) D x"
(*"Integral 1 / EI * (L * q_0 / 2 * x + -1 * q_0 / 2 * x ^^^ 2) D x" *)
plus 1 change in test/../reational.sml for unknown reason

Test_Isac.thy goes through again.

(*

$ cd /usr/local/isabisac/src/Tools/isac

$ /usr/local/isabisac/bin/isabelle usedir -b HOL Isac

$ ls -l /home/neuper/.isabelle/heaps/polyml-5.4.0_x86-linux/Isac

*)

use_thys ["Build_Isac"];