| Wed, 26 Jul 2023 20:15:31 +0200 | wenzelm | prefer Output.writeln for theory "results", as opposed to Output.state for genuine proof states (see f8c412a45af8, c668735fb8b5, ecf80e37ed1a); | file | diff | annotate |
| Tue, 18 Apr 2023 22:24:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 06 Sep 2022 21:06:20 +0200 | wenzelm | clarified goal structure with proper instantiation of main goal, to support "show_goal_inst"; | file | diff | annotate |
| Sun, 26 Sep 2021 18:49:55 +0200 | wenzelm | improper proof command 'guess' moved to separate theory "Pure-ex.Guess"; | file | diff | annotate |