| Fri, 12 May 2000 11:52:44 +0200 | wenzelm | improved name of simproc; | changeset | files |
| Wed, 10 May 2000 22:34:30 +0200 | wenzelm | fixed theory deps; | changeset | files |
| Wed, 10 May 2000 21:04:16 +0200 | wenzelm | base on IntArith instead of Int (in order to leave out deleted simproc!); | changeset | files |
| Wed, 10 May 2000 21:03:12 +0200 | wenzelm | dest_mss: sort procs wrt. names; | changeset | files |
| Wed, 10 May 2000 16:43:39 +0200 | wenzelm | FAKE_BUILD; | changeset | files |
| Wed, 10 May 2000 16:43:25 +0200 | wenzelm | polyml; | changeset | files |
| Wed, 10 May 2000 16:43:10 +0200 | wenzelm | tuned; | changeset | files |