Sat, 11 Mar 2006 21:23:10 +0100 | wenzelm | got rid of type Sign.sg; | file | diff | annotate |
Mon, 16 May 2005 10:29:15 +0200 | paulson | Use of IntInf.int instead of int in most numeric simprocs; avoids | file | diff | annotate |
Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
Fri, 19 Dec 1997 10:33:24 +0100 | wenzelm | adapted to new sort function; | file | diff | annotate |
Wed, 26 Nov 1997 16:42:37 +0100 | wenzelm | Cancel common constant factor from balanced exression. | file | diff | annotate |