| Sun, 20 Oct 2019 21:12:18 +0200 |
wenzelm |
clarified signature: name of standard_proof is authentic, otherwise empty;
|
file |
diff |
annotate
|
| Thu, 17 Oct 2019 21:31:53 +0200 |
wenzelm |
support dummy term;
|
file |
diff |
annotate
|
| Sat, 12 Oct 2019 22:20:39 +0200 |
wenzelm |
clarified signature default;
|
file |
diff |
annotate
|
| Sat, 12 Oct 2019 22:18:27 +0200 |
wenzelm |
clarified signature default;
|
file |
diff |
annotate
|
| Sat, 12 Oct 2019 22:12:29 +0200 |
wenzelm |
more operations for type classes;
|
file |
diff |
annotate
|
| Sat, 12 Oct 2019 15:41:59 +0200 |
wenzelm |
clarified output and input of Typ/Term;
|
file |
diff |
annotate
|
| Fri, 11 Oct 2019 18:26:35 +0200 |
wenzelm |
clarified oracle_proof;
|
file |
diff |
annotate
|
| Fri, 04 Oct 2019 16:34:14 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Fri, 04 Oct 2019 15:30:52 +0200 |
wenzelm |
Term_XML.Encode/Decode.term uses Const "typargs";
|
file |
diff |
annotate
|
| Sat, 17 Aug 2019 11:52:47 +0200 |
wenzelm |
clarified type for recorded oracles;
|
file |
diff |
annotate
|
| Sat, 17 Aug 2019 10:38:02 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 15 Aug 2019 16:57:09 +0200 |
wenzelm |
clarified PThm: theory_name simplifies retrieval from exports;
|
file |
diff |
annotate
|
| Thu, 15 Aug 2019 16:38:55 +0200 |
wenzelm |
Indexname.toString according to string_of_vname' in ML;
|
file |
diff |
annotate
|
| Thu, 15 Aug 2019 16:26:50 +0200 |
wenzelm |
clarified type Indexname, with plain value Int;
|
file |
diff |
annotate
|
| Thu, 15 Aug 2019 16:17:18 +0200 |
wenzelm |
more complete pattern match;
|
file |
diff |
annotate
|
| Thu, 15 Aug 2019 16:02:47 +0200 |
wenzelm |
support for (fully reconstructed) proof terms in Scala;
|
file |
diff |
annotate
|
| Sat, 20 Jul 2019 14:03:51 +0200 |
wenzelm |
more operations: support type classes within the logic;
|
file |
diff |
annotate
|
| Sat, 20 Jul 2019 11:48:30 +0200 |
wenzelm |
more operations (avoid clones in Isabelle/MMT and Isabelle/Dedukti);
|
file |
diff |
annotate
|
| Thu, 24 May 2018 21:13:09 +0200 |
wenzelm |
more general cache, also for term substructures;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2011 18:00:05 +0200 |
wenzelm |
more uniform Term and Term_XML modules;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2011 17:53:06 +0200 |
wenzelm |
more compact representation of XML data (notably sort/typ/term), using properties as vector of atomic values;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2011 10:44:30 +0200 |
wenzelm |
tuned XML modules;
|
file |
diff |
annotate
|
| Sun, 10 Jul 2011 20:59:04 +0200 |
wenzelm |
inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control);
|
file |
diff |
annotate
|
| Sun, 10 Jul 2011 17:58:11 +0200 |
wenzelm |
lambda terms with XML data representation in Scala;
|
file |
diff |
annotate
|