src/Pure/term.scala
4 months ago wenzelm 2019-07-20 more operations: support type classes within the logic;
4 months ago wenzelm 2019-07-20 more operations (avoid clones in Isabelle/MMT and Isabelle/Dedukti);
18 months ago wenzelm 2018-05-24 more general cache, also for term substructures;
2011-07-12 wenzelm 2011-07-12 more uniform Term and Term_XML modules;
2011-07-12 wenzelm 2011-07-12 more compact representation of XML data (notably sort/typ/term), using properties as vector of atomic values;
2011-07-12 wenzelm 2011-07-12 tuned XML modules;
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;
2011-07-10 wenzelm 2011-07-10 lambda terms with XML data representation in Scala; avoid `class` in signature;