| Wed, 07 Feb 2007 12:08:48 +0100 | berghofe | "prove" function now instantiates relation variable in order | changeset | files |
| Wed, 07 Feb 2007 12:05:54 +0100 | berghofe | Made untabify function tail recursive. | changeset | files |
| Tue, 06 Feb 2007 19:32:32 +0100 | wenzelm | tuned matches_subterm; | changeset | files |