src/HOL/Metis.thy
changeset 62672 068b430e678f
parent 60758 d8d85a8172b5
child 62711 09df6a51ad3c
     1.1 --- a/src/HOL/Metis.thy	Fri Mar 18 20:35:01 2016 +0100
     1.2 +++ b/src/HOL/Metis.thy	Fri Mar 18 21:21:09 2016 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  
     1.5  declare [[ML_print_depth = 0]]
     1.6  ML_file "~~/src/Tools/Metis/metis.ML"
     1.7 -declare [[ML_print_depth = 10]]
     1.8 +declare [[ML_print_depth = 20]]
     1.9  
    1.10  
    1.11  subsection \<open>Literal selection and lambda-lifting helpers\<close>