| 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 |