| Thu, 08 Jul 2021 14:20:36 +0200 | wenzelm | clarified shasum: sources / resources within jar; | changeset | files |
| Thu, 08 Jul 2021 13:34:12 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 08 Jul 2021 13:16:31 +0200 | wenzelm | clarified modules; | changeset | files |
| Fri, 09 Jul 2021 17:59:25 +0200 | desharna | merged | changeset | files |
| Fri, 09 Jul 2021 17:58:17 +0200 | desharna | fixed HOL-TPTP following f58108b7a60c | changeset | files |
| Thu, 08 Jul 2021 17:43:35 +0200 | desharna | documented Sledgehammer option "induction_rules" | changeset | files |
| Thu, 08 Jul 2021 17:23:01 +0200 | desharna | refactored Sledgehammer option "induction_rules" | changeset | files |