| changeset 50964 | 2a990baa09af |
| parent 50954 | 7bc58677860e |
| child 50966 | b85cb3049df9 |
--- a/src/HOL/TPTP/MaSh_Export.thy Thu Jan 17 23:00:20 2013 +0100 +++ b/src/HOL/TPTP/MaSh_Export.thy Thu Jan 17 23:29:17 2013 +0100 @@ -31,7 +31,7 @@ val prover = hd provers val range = (1, NONE) val step = 1 -val max_suggestions = 1536 +val max_suggestions = 1024 val dir = "List" val prefix = "/tmp/" ^ dir ^ "/" *}