| 4 months ago | wenzelm | 2019-07-20 | more operations: support type classes within the logic; | file | diff | annotate |
| 4 months ago | wenzelm | 2019-07-20 | more operations (avoid clones in Isabelle/MMT and Isabelle/Dedukti); | file | diff | annotate |
| 18 months ago | wenzelm | 2018-05-24 | more general cache, also for term substructures; | file | diff | annotate |
| 2011-07-12 | wenzelm | 2011-07-12 | more uniform Term and Term_XML modules; | file | diff | annotate |
| 2011-07-12 | wenzelm | 2011-07-12 | more compact representation of XML data (notably sort/typ/term), using properties as vector of atomic values; | file | diff | annotate |
| 2011-07-12 | wenzelm | 2011-07-12 | tuned XML modules; | file | diff | annotate |
| 2011-07-10 | wenzelm | 2011-07-10 | inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control); tuned signature; | file | diff | annotate |
| 2011-07-10 | wenzelm | 2011-07-10 | lambda terms with XML data representation in Scala; avoid `class` in signature; | file | diff | annotate |