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