2010-02-27 wenzelm 2010-02-27 further standard instances of functor Graph;
2010-02-27 wenzelm 2010-02-27 just one copy of structure Term_Graph (in Pure);
2009-10-01 wenzelm 2009-10-01 added term_cache; tuned;
2009-07-09 wenzelm 2009-07-09 Sorttab in Pure;
2009-07-09 wenzelm 2009-07-09 renamed functor TableFun to Table, and GraphFun to Graph;
2008-12-31 wenzelm 2008-12-31 moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); tuned signature of structure Term;