Wed, 21 Nov 2001 00:36:51 +0100 | wenzelm | use tracing function for trace output; | file | diff | annotate |
Mon, 24 Jul 2000 23:47:57 +0200 | wenzelm | do not pass theory values, but sg_ref; | file | diff | annotate |
Tue, 30 May 2000 16:03:09 +0200 | wenzelm | global timing flag; | file | diff | annotate |
Fri, 12 May 2000 11:52:44 +0200 | wenzelm | improved name of simproc; | file | diff | annotate |
Fri, 23 Jul 1999 17:24:48 +0200 | paulson | new simprocs assoc_fold and combine_coeff | file | diff | annotate |