| Sat, 27 Feb 2010 23:13:01 +0100 | wenzelm | modernized structure Term_Ord; | file | diff | annotate |
| Sat, 27 Feb 2010 22:52:06 +0100 | wenzelm | further standard instances of functor Graph; | file | diff | annotate |
| Sat, 27 Feb 2010 21:56:55 +0100 | wenzelm | just one copy of structure Term_Graph (in Pure); | file | diff | annotate |
| Thu, 01 Oct 2009 22:39:58 +0200 | wenzelm | added term_cache; | file | diff | annotate |
| Thu, 09 Jul 2009 22:36:11 +0200 | wenzelm | Sorttab in Pure; | file | diff | annotate |
| Thu, 09 Jul 2009 22:01:41 +0200 | wenzelm | renamed functor TableFun to Table, and GraphFun to Graph; | file | diff | annotate |
| Wed, 31 Dec 2008 15:30:10 +0100 | wenzelm | moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); | file | diff | annotate |