| Fri, 28 Mar 2025 16:09:20 +0100 | desharna | tuned stringification of proof method in try0 | file | diff | annotate |
| Thu, 27 Mar 2025 16:35:41 +0100 | desharna | tuned signature | 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 |