| Sat, 06 Mar 2021 18:42:10 +0000 | haftmann | consolidated names | changeset | files |
| Sat, 06 Mar 2021 18:42:10 +0000 | haftmann | reduced dependencies on theory List_Permutation | changeset | files |
| Fri, 05 Mar 2021 22:23:57 +0100 | wenzelm | obsolete (see f3378101f555); | changeset | files |
| Fri, 05 Mar 2021 21:26:38 +0100 | wenzelm | merged | changeset | files |
| Fri, 05 Mar 2021 20:52:08 +0100 | wenzelm | more direct unlimited smt_timeout; | changeset | files |
| Fri, 05 Mar 2021 20:38:55 +0100 | wenzelm | clarified smt: support Timeout.ignored and Timeout.scale_time; | changeset | files |
| Fri, 05 Mar 2021 17:29:49 +0100 | wenzelm | clarified timeouts in Isabelle/ML; | changeset | files |