Sun, 28 Jan 2007 11:52:52 +0100 | chaieb | Now deals with simples cases where the input equations contain type variables | changeset | files |
Fri, 26 Jan 2007 13:59:06 +0100 | haftmann | refined algorithm | changeset | files |
Fri, 26 Jan 2007 13:59:04 +0100 | haftmann | clarified code | changeset | files |