| Fri, 19 Jul 2024 11:29:05 +0200 |
wenzelm |
clarified signature, following zterm.ML;
|
file |
diff |
annotate
|
| Sun, 14 Jul 2024 17:49:30 +0200 |
wenzelm |
clarified data representation: prefer explicit OFCLASS constructor, following datatype zterm;
|
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
|
| Sat, 09 Apr 2022 15:28:55 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2022 12:07:51 +0200 |
wenzelm |
tuned --- avoid warnings in scala3;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2022 12:02:38 +0200 |
wenzelm |
avoid pattern-match warnings, notably in scala3;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Tue, 21 Apr 2020 22:19:59 +0200 |
wenzelm |
clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case-insensible file-system;
|
file |
diff |
annotate
|
| Sat, 12 Oct 2019 15:01:13 +0200 |
wenzelm |
more compact XML;
|
file |
diff |
annotate
|
| Sat, 12 Oct 2019 13:43:17 +0200 |
wenzelm |
more compact XML: separate environment for free variables;
|
file |
diff |
annotate
|
| Sat, 12 Oct 2019 12:25:16 +0200 |
wenzelm |
more compact XML;
|
file |
diff |
annotate
|
| Fri, 11 Oct 2019 18:26:35 +0200 |
wenzelm |
clarified oracle_proof;
|
file |
diff |
annotate
|