| Sun, 28 Jan 2007 23:29:15 +0100 | wenzelm | added def_simproc(_i) -- define named simprocs; | changeset | files |
| Sun, 28 Jan 2007 23:29:14 +0100 | wenzelm | updated; | changeset | files |
| Sun, 28 Jan 2007 11:52:52 +0100 | chaieb | Now deals with simples cases where the input equations contain type variables | changeset | files |