| 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 |