| Tue, 08 Apr 2025 17:36:07 +0200 | desharna | removed iprover from try0 because its name is clashing with iProver in Sledgehammer | file | diff | annotate |
| Fri, 04 Apr 2025 15:27:28 +0200 | desharna | added proof method "iprover" to try0 | file | diff | annotate |
| Wed, 02 Apr 2025 11:18:35 +0200 | desharna | added a user-configurable schedule to try0 | file | diff | annotate |
| Thu, 27 Mar 2025 14:33:08 +0100 | desharna | tuned and moved configuration of auto_try0 to theory HOL | file | diff | annotate |
| Thu, 27 Mar 2025 13:40:33 +0100 | desharna | tuned signature | file | diff | annotate |
| Thu, 27 Mar 2025 13:30:16 +0100 | desharna | moved try0's HOL-specific stuff into own theory | file | diff | annotate |