Wed, 10 Mar 2010 14:47:04 +0100 | Cezary Kaliszyk | Looking at alpha_eqvt for term5, not much progress. | changeset | files |
Wed, 10 Mar 2010 14:24:27 +0100 | Cezary Kaliszyk | Reordered examples in Test. | changeset | files |
Wed, 10 Mar 2010 13:29:12 +0100 | Cezary Kaliszyk | Allows multiple bindings with same lhs. | changeset | files |