changeset 78324 | c3376cd561a8 |
parent 78322 | 74c75da4cb01 |
child 78478 | ab9cf0fdb268 |
--- a/src/HOL/ROOT Wed Jul 12 18:28:19 2023 +0100 +++ b/src/HOL/ROOT Wed Jul 12 22:28:38 2023 +0100 @@ -847,7 +847,7 @@ ATP_Problem_Import session "HOL-Probability" (main timing) in "Probability" = "HOL-Analysis" + - options [timeout = 300] + options [timeout = 600] sessions "HOL-Combinatorics" theories