| Sat, 27 Feb 2010 23:13:01 +0100 | modernized structure Term_Ord; | file | diff | annotate |
| Wed, 31 Dec 2008 15:30:10 +0100 | moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); | file | diff | annotate |
| Tue, 18 Sep 2007 16:08:00 +0200 | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
| Tue, 05 Jun 2007 19:19:30 +0200 | tuned integers | file | diff | annotate |
| Sat, 08 Jul 2006 12:54:30 +0200 | simprocs: no theory argument -- use simpset context instead; | file | diff | annotate |
| Sat, 11 Mar 2006 21:23:10 +0100 | got rid of type Sign.sg; | file | diff | annotate |
| Mon, 16 May 2005 10:29:15 +0200 | Use of IntInf.int instead of int in most numeric simprocs; avoids | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | Deleted Library.option type. | file | diff | annotate |
| Fri, 19 Dec 1997 10:33:24 +0100 | adapted to new sort function; | file | diff | annotate |
| Wed, 26 Nov 1997 16:42:37 +0100 | Cancel common constant factor from balanced exression. | file | diff | annotate |