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 |