1.1 --- a/src/Tools/isac/Interpret/Interpret.thy	Thu Nov 24 14:33:42 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/Interpret.thy	Wed Nov 30 12:09:24 2016 +0100
     1.3 @@ -17,6 +17,7 @@
     1.4    ML_file "~~/src/Tools/isac/Interpret/solve.sml"
     1.5    ML_file "~~/src/Tools/isac/Interpret/inform.sml"
     1.6    ML_file "~~/src/Tools/isac/Interpret/mathengine.sml"
     1.7 +(*declare [[ML_print_depth = 999]]*)
     1.8  ML {*
     1.9  *} ML {*
    1.10  *}