| Fri, 19 Jul 2024 16:58:52 +0200 | wenzelm | clarified thm_header command_pos vs. thm_pos; | file | diff | annotate |
| Mon, 10 Jun 2024 14:53:54 +0200 | wenzelm | clarified signature: prefer internal Thm_Name.T over external Facts.ref; | file | diff | annotate |
| Sun, 09 Jun 2024 20:47:30 +0200 | wenzelm | clarified signature: more explicit operations; | file | diff | annotate |
| Sun, 09 Jun 2024 15:11:07 +0200 | wenzelm | more operationsd; | file | diff | annotate |
| Sat, 08 Jun 2024 16:26:47 +0200 | wenzelm | more accurate output of Thm_Name.T wrt. facts name space; | file | diff | annotate |
| Sat, 08 Jun 2024 11:32:38 +0200 | wenzelm | tuned structure; | file | diff | annotate |
| Sat, 08 Jun 2024 11:23:40 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 07 Jun 2024 23:53:31 +0200 | wenzelm | more accurate Thm_Name.T for PThm / Thm.name_derivation / Thm.derivation_name; | file | diff | annotate |
| Fri, 07 Jun 2024 13:19:39 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 07 Jun 2024 11:10:49 +0200 | wenzelm | tuned signature: just one ZThm is sufficient; | file | diff | annotate |
| Wed, 27 Dec 2023 20:52:33 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 27 Dec 2023 20:40:15 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 27 Dec 2023 15:57:42 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 27 Dec 2023 15:50:17 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 26 Dec 2023 12:37:33 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 21 Dec 2023 21:03:02 +0100 | wenzelm | proper thm_name for stored zproof; | file | diff | annotate |
| Tue, 20 Aug 2019 11:01:05 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 19 Aug 2019 19:24:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 19 Aug 2019 19:12:44 +0200 | wenzelm | clarified modules; | file | diff | annotate |