| Tue, 29 Sep 2009 16:24:36 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | 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 |
| Sun, 31 May 2009 19:05:20 +0200 | wenzelm | attempt to eliminate adhoc makestring at runtime (which is not well-defined); | file | diff | annotate |
| Thu, 05 Mar 2009 19:48:02 +0100 | wenzelm | Thm.add_oracle interface: replaced old bstring by binding; | 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 |
| Thu, 18 Sep 2008 19:39:44 +0200 | wenzelm | simplified oracle interface; | file | diff | annotate |