| 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:30:16 +0100 | desharna | moved try0's HOL-specific stuff into own theory | file | diff | annotate |
| Thu, 27 Mar 2025 11:20:59 +0100 | desharna | moved HOL-specific code out of ML file for generic try0 | file | diff | annotate |
| Tue, 25 Mar 2025 13:42:15 +0100 | desharna | moved command try0 into its own new theory | file | diff | annotate |