Thu, 08 Jul 2021 15:25:30 +0200 | desharna | promoted "sledgehammer_instantiate_inducts" to proper option "induction_rules" | file | diff | annotate |
Wed, 12 May 2021 12:22:44 +0200 | wenzelm | avoid duplicate loading of ML file; | file | diff | annotate | base |